H-Termination proof of /home/matraf/haskell/eval_FullyBlown

MAYBE 117.402 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could not be shown:

↳ HASKELL

  ↳ BR

mainModule Main

((enumFromTo :: Float -> Float -> [Float]) :: Float -> Float -> [Float])

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((enumFromTo :: Float -> Float -> [Float]) :: Float -> Float -> [Float])

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

takeWhile p [] = []

takeWhile p (x : xs)

| p x

= x : takeWhile p xs

| otherwise

= []

is transformed to

takeWhile p [] = takeWhile3 p []

takeWhile p (x : xs) = takeWhile2 p (x : xs)

takeWhile1 p x xs True = x : takeWhile p xs

takeWhile1 p x xs False = takeWhile0 p x xs otherwise

takeWhile0 p x xs True = []

takeWhile2 p (x : xs) = takeWhile1 p x xs (p x)

takeWhile3 p [] = []

takeWhile3 vz wu = takeWhile2 vz wu

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

mainModule Main

((enumFromTo :: Float -> Float -> [Float]) :: Float -> Float -> [Float])

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

              ↳ Narrow

mainModule Main

(enumFromTo :: Float -> Float -> [Float])

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="enumFromTo",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="enumFromTo wv3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="enumFromTo wv3 wv4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="numericEnumFromTo wv3 (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="takeWhile (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) (numericEnumFrom wv3)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="takeWhile (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) (wv3 : (numericEnumFrom $! wv3 + fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="takeWhile2 (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) (wv3 : (numericEnumFrom $! wv3 + fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="takeWhile1 (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) wv3 (numericEnumFrom $! wv3 + fromInt (Pos (Succ Zero))) (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero)))) wv3)",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="takeWhile1 (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) wv3 (numericEnumFrom $! wv3 + fromInt (Pos (Succ Zero))) ((<=) wv3 wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="takeWhile1 (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) wv3 (numericEnumFrom $! wv3 + fromInt (Pos (Succ Zero))) (compare wv3 (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero)))) /= GT)",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="takeWhile1 (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) wv3 (numericEnumFrom $! wv3 + fromInt (Pos (Succ Zero))) (not (compare wv3 (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero)))) == GT))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="takeWhile1 (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) wv3 (numericEnumFrom $! wv3 + fromInt (Pos (Succ Zero))) (not (primCmpFloat wv3 (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero)))) == GT))",fontsize=16,color="burlywood",shape="box"];34527[label="wv3/Float wv30 wv31",fontsize=10,color="white",style="solid",shape="box"];13 -> 34527[label="",style="solid", color="burlywood", weight=9];
34527 -> 14[label="",style="solid", color="burlywood", weight=3];
14[label="takeWhile1 (flip (<=) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) (Float wv30 wv31) (numericEnumFrom $! Float wv30 wv31 + fromInt (Pos (Succ Zero))) (not (primCmpFloat (Float wv30 wv31) (wv4 + fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero)))) == GT))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
15 -> 25686[label="",style="dashed", color="red", weight=0];
15[label="takeWhile1 (flip (<=) (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero)))))) (Float wv30 wv31) (numericEnumFrom $! Float wv30 wv31 + fromInt (Pos (Succ Zero))) (not (primCmpFloat (Float wv30 wv31) (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) == GT))",fontsize=16,color="magenta"];15 -> 25687[label="",style="dashed", color="magenta", weight=3];
15 -> 25688[label="",style="dashed", color="magenta", weight=3];
15 -> 25689[label="",style="dashed", color="magenta", weight=3];
15 -> 25690[label="",style="dashed", color="magenta", weight=3];
15 -> 25691[label="",style="dashed", color="magenta", weight=3];
15 -> 25692[label="",style="dashed", color="magenta", weight=3];
25687[label="wv31",fontsize=16,color="green",shape="box"];25688[label="flip (<=) (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero)))))",fontsize=16,color="grey",shape="box"];25688 -> 33572[label="",style="dashed", color="grey", weight=3];
25689[label="wv30",fontsize=16,color="green",shape="box"];25690[label="not (primCmpFloat (Float wv30 wv31) (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34529[label="wv4/Float wv40 wv41",fontsize=10,color="white",style="solid",shape="box"];25690 -> 34529[label="",style="solid", color="burlywood", weight=9];
34529 -> 33573[label="",style="solid", color="burlywood", weight=3];
25691[label="wv31",fontsize=16,color="green",shape="box"];25692[label="wv30",fontsize=16,color="green",shape="box"];25686[label="takeWhile1 wv1699 (Float wv1842 wv1841) (numericEnumFrom $! Float wv1844 wv1843 + fromInt (Pos (Succ Zero))) wv1892",fontsize=16,color="burlywood",shape="triangle"];34530[label="wv1892/False",fontsize=10,color="white",style="solid",shape="box"];25686 -> 34530[label="",style="solid", color="burlywood", weight=9];
34530 -> 33574[label="",style="solid", color="burlywood", weight=3];
34531[label="wv1892/True",fontsize=10,color="white",style="solid",shape="box"];25686 -> 34531[label="",style="solid", color="burlywood", weight=9];
34531 -> 33575[label="",style="solid", color="burlywood", weight=3];
33572[label="flip (<=) (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) wv1893",fontsize=16,color="black",shape="triangle"];33572 -> 33577[label="",style="solid", color="black", weight=3];
33573[label="not (primCmpFloat (Float wv30 wv31) (primPlusFloat (Float wv40 wv41) (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33573 -> 33578[label="",style="solid", color="black", weight=3];
33574[label="takeWhile1 wv1699 (Float wv1842 wv1841) (numericEnumFrom $! Float wv1844 wv1843 + fromInt (Pos (Succ Zero))) False",fontsize=16,color="black",shape="box"];33574 -> 33579[label="",style="solid", color="black", weight=3];
33575[label="takeWhile1 wv1699 (Float wv1842 wv1841) (numericEnumFrom $! Float wv1844 wv1843 + fromInt (Pos (Succ Zero))) True",fontsize=16,color="black",shape="box"];33575 -> 33580[label="",style="solid", color="black", weight=3];
33577[label="(<=) wv1893 primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];33577 -> 33581[label="",style="solid", color="black", weight=3];
33578[label="not (primCmpFloat (Float wv30 wv31) (primPlusFloat (Float wv40 wv41) (primDivFloat (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="triangle"];33578 -> 33582[label="",style="solid", color="black", weight=3];
33579[label="takeWhile0 wv1699 (Float wv1842 wv1841) (numericEnumFrom $! Float wv1844 wv1843 + fromInt (Pos (Succ Zero))) otherwise",fontsize=16,color="black",shape="box"];33579 -> 33583[label="",style="solid", color="black", weight=3];
33580[label="Float wv1842 wv1841 : takeWhile wv1699 (numericEnumFrom $! Float wv1844 wv1843 + fromInt (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];33580 -> 33584[label="",style="dashed", color="green", weight=3];
33581[label="compare wv1893 (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) /= GT",fontsize=16,color="black",shape="box"];33581 -> 33585[label="",style="solid", color="black", weight=3];
33582[label="not (primCmpFloat (Float wv30 wv31) (primPlusFloat (Float wv40 wv41) (primDivFloat (primIntToFloat (Pos (Succ Zero))) (fromInt (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];33582 -> 33586[label="",style="solid", color="black", weight=3];
33583[label="takeWhile0 wv1699 (Float wv1842 wv1841) (numericEnumFrom $! Float wv1844 wv1843 + fromInt (Pos (Succ Zero))) True",fontsize=16,color="black",shape="box"];33583 -> 33587[label="",style="solid", color="black", weight=3];
33584[label="takeWhile wv1699 (numericEnumFrom $! Float wv1844 wv1843 + fromInt (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];33584 -> 33588[label="",style="solid", color="black", weight=3];
33585[label="not (compare wv1893 (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33585 -> 33589[label="",style="solid", color="black", weight=3];
33586[label="not (primCmpFloat (Float wv30 wv31) (primPlusFloat (Float wv40 wv41) (primDivFloat (Float (Pos (Succ Zero)) (Pos (Succ Zero))) (fromInt (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];33586 -> 33590[label="",style="solid", color="black", weight=3];
33587[label="[]",fontsize=16,color="green",shape="box"];33588[label="takeWhile wv1699 (Float wv1844 wv1843 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Float wv1844 wv1843 + fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];33588 -> 33591[label="",style="solid", color="black", weight=3];
33589[label="not (primCmpFloat wv1893 (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34532[label="wv1893/Float wv18930 wv18931",fontsize=10,color="white",style="solid",shape="box"];33589 -> 34532[label="",style="solid", color="burlywood", weight=9];
34532 -> 33592[label="",style="solid", color="burlywood", weight=3];
33590[label="not (primCmpFloat (Float wv30 wv31) (primPlusFloat (Float wv40 wv41) (primDivFloat (Float (Pos (Succ Zero)) (Pos (Succ Zero))) (primIntToFloat (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];33590 -> 33593[label="",style="solid", color="black", weight=3];
33591[label="takeWhile wv1699 (enforceWHNF (WHNF (Float wv1844 wv1843 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Float wv1844 wv1843 + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];33591 -> 33594[label="",style="solid", color="black", weight=3];
33592[label="not (primCmpFloat (Float wv18930 wv18931) (primPlusFloat wv4 (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34533[label="wv4/Float wv40 wv41",fontsize=10,color="white",style="solid",shape="box"];33592 -> 34533[label="",style="solid", color="burlywood", weight=9];
34533 -> 33595[label="",style="solid", color="burlywood", weight=3];
33593[label="not (primCmpFloat (Float wv30 wv31) (primPlusFloat (Float wv40 wv41) (primDivFloat (Float (Pos (Succ Zero)) (Pos (Succ Zero))) (Float (Pos (Succ (Succ Zero))) (Pos (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33593 -> 33596[label="",style="solid", color="black", weight=3];
33594[label="takeWhile wv1699 (enforceWHNF (WHNF (primPlusFloat (Float wv1844 wv1843) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusFloat (Float wv1844 wv1843) (fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];33594 -> 33597[label="",style="solid", color="black", weight=3];
33595[label="not (primCmpFloat (Float wv18930 wv18931) (primPlusFloat (Float wv40 wv41) (fromInt (Pos (Succ Zero)) / fromInt (Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33595 -> 33598[label="",style="solid", color="black", weight=3];
33596[label="not (primCmpFloat (Float wv30 wv31) (primPlusFloat (Float wv40 wv41) (Float (Pos (Succ Zero) * Pos (Succ Zero)) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33596 -> 33599[label="",style="solid", color="black", weight=3];
33597[label="takeWhile wv1699 (enforceWHNF (WHNF (primPlusFloat (Float wv1844 wv1843) (primIntToFloat (Pos (Succ Zero))))) (numericEnumFrom (primPlusFloat (Float wv1844 wv1843) (primIntToFloat (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];33597 -> 33600[label="",style="solid", color="black", weight=3];
33598 -> 33578[label="",style="dashed", color="red", weight=0];
33598[label="not (primCmpFloat (Float wv18930 wv18931) (primPlusFloat (Float wv40 wv41) (primDivFloat (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];33598 -> 33601[label="",style="dashed", color="magenta", weight=3];
33598 -> 33602[label="",style="dashed", color="magenta", weight=3];
33599[label="not (primCmpFloat (Float wv30 wv31) (Float (wv40 + Pos (Succ Zero) * Pos (Succ Zero)) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33599 -> 33603[label="",style="solid", color="black", weight=3];
33600[label="takeWhile wv1699 (enforceWHNF (WHNF (primPlusFloat (Float wv1844 wv1843) (Float (Pos (Succ Zero)) (Pos (Succ Zero))))) (numericEnumFrom (primPlusFloat (Float wv1844 wv1843) (Float (Pos (Succ Zero)) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];33600 -> 33604[label="",style="solid", color="black", weight=3];
33601[label="wv18930",fontsize=16,color="green",shape="box"];33602[label="wv18931",fontsize=16,color="green",shape="box"];33603[label="not (compare (wv30 * (wv40 + Pos (Succ Zero) * Pos (Succ Zero))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33603 -> 33605[label="",style="solid", color="black", weight=3];
33604[label="takeWhile wv1699 (enforceWHNF (WHNF (Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero)))) (numericEnumFrom (Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];33604 -> 33606[label="",style="solid", color="black", weight=3];
33605[label="not (primCmpInt (wv30 * (wv40 + Pos (Succ Zero) * Pos (Succ Zero))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33605 -> 33607[label="",style="solid", color="black", weight=3];
33606[label="takeWhile wv1699 (numericEnumFrom (Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];33606 -> 33608[label="",style="solid", color="black", weight=3];
33607[label="not (primCmpInt (primMulInt wv30 (wv40 + Pos (Succ Zero) * Pos (Succ Zero))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34535[label="wv30/Pos wv300",fontsize=10,color="white",style="solid",shape="box"];33607 -> 34535[label="",style="solid", color="burlywood", weight=9];
34535 -> 33609[label="",style="solid", color="burlywood", weight=3];
34536[label="wv30/Neg wv300",fontsize=10,color="white",style="solid",shape="box"];33607 -> 34536[label="",style="solid", color="burlywood", weight=9];
34536 -> 33610[label="",style="solid", color="burlywood", weight=3];
33608[label="takeWhile wv1699 (Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero)) : (numericEnumFrom $! Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero)) + fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];33608 -> 33611[label="",style="solid", color="black", weight=3];
33609[label="not (primCmpInt (primMulInt (Pos wv300) (wv40 + Pos (Succ Zero) * Pos (Succ Zero))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33609 -> 33612[label="",style="solid", color="black", weight=3];
33610[label="not (primCmpInt (primMulInt (Neg wv300) (wv40 + Pos (Succ Zero) * Pos (Succ Zero))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33610 -> 33613[label="",style="solid", color="black", weight=3];
33611[label="takeWhile2 wv1699 (Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero)) : (numericEnumFrom $! Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero)) + fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];33611 -> 33614[label="",style="solid", color="black", weight=3];
33612[label="not (primCmpInt (primMulInt (Pos wv300) (primPlusInt wv40 (Pos (Succ Zero) * Pos (Succ Zero)))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34537[label="wv40/Pos wv400",fontsize=10,color="white",style="solid",shape="box"];33612 -> 34537[label="",style="solid", color="burlywood", weight=9];
34537 -> 33615[label="",style="solid", color="burlywood", weight=3];
34538[label="wv40/Neg wv400",fontsize=10,color="white",style="solid",shape="box"];33612 -> 34538[label="",style="solid", color="burlywood", weight=9];
34538 -> 33616[label="",style="solid", color="burlywood", weight=3];
33613[label="not (primCmpInt (primMulInt (Neg wv300) (primPlusInt wv40 (Pos (Succ Zero) * Pos (Succ Zero)))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34539[label="wv40/Pos wv400",fontsize=10,color="white",style="solid",shape="box"];33613 -> 34539[label="",style="solid", color="burlywood", weight=9];
34539 -> 33617[label="",style="solid", color="burlywood", weight=3];
34540[label="wv40/Neg wv400",fontsize=10,color="white",style="solid",shape="box"];33613 -> 34540[label="",style="solid", color="burlywood", weight=9];
34540 -> 33618[label="",style="solid", color="burlywood", weight=3];
33614 -> 25686[label="",style="dashed", color="red", weight=0];
33614[label="takeWhile1 wv1699 (Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero))) (numericEnumFrom $! Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero)) + fromInt (Pos (Succ Zero))) (wv1699 (Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero))))",fontsize=16,color="magenta"];33614 -> 33619[label="",style="dashed", color="magenta", weight=3];
33614 -> 33620[label="",style="dashed", color="magenta", weight=3];
33614 -> 33621[label="",style="dashed", color="magenta", weight=3];
33614 -> 33622[label="",style="dashed", color="magenta", weight=3];
33614 -> 33623[label="",style="dashed", color="magenta", weight=3];
33615[label="not (primCmpInt (primMulInt (Pos wv300) (primPlusInt (Pos wv400) (Pos (Succ Zero) * Pos (Succ Zero)))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33615 -> 33624[label="",style="solid", color="black", weight=3];
33616[label="not (primCmpInt (primMulInt (Pos wv300) (primPlusInt (Neg wv400) (Pos (Succ Zero) * Pos (Succ Zero)))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33616 -> 33625[label="",style="solid", color="black", weight=3];
33617[label="not (primCmpInt (primMulInt (Neg wv300) (primPlusInt (Pos wv400) (Pos (Succ Zero) * Pos (Succ Zero)))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33617 -> 33626[label="",style="solid", color="black", weight=3];
33618[label="not (primCmpInt (primMulInt (Neg wv300) (primPlusInt (Neg wv400) (Pos (Succ Zero) * Pos (Succ Zero)))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33618 -> 33627[label="",style="solid", color="black", weight=3];
33619[label="wv1843 * Pos (Succ Zero)",fontsize=16,color="black",shape="triangle"];33619 -> 33628[label="",style="solid", color="black", weight=3];
33620[label="wv1844 + Pos (Succ Zero)",fontsize=16,color="black",shape="triangle"];33620 -> 33629[label="",style="solid", color="black", weight=3];
33621[label="wv1699 (Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];33621 -> 33630[label="",style="dashed", color="green", weight=3];
33622 -> 33619[label="",style="dashed", color="red", weight=0];
33622[label="wv1843 * Pos (Succ Zero)",fontsize=16,color="magenta"];33623 -> 33620[label="",style="dashed", color="red", weight=0];
33623[label="wv1844 + Pos (Succ Zero)",fontsize=16,color="magenta"];33624[label="not (primCmpInt (primMulInt (Pos wv300) (primPlusInt (Pos wv400) (primMulInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33624 -> 33631[label="",style="solid", color="black", weight=3];
33625[label="not (primCmpInt (primMulInt (Pos wv300) (primPlusInt (Neg wv400) (primMulInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33625 -> 33632[label="",style="solid", color="black", weight=3];
33626[label="not (primCmpInt (primMulInt (Neg wv300) (primPlusInt (Pos wv400) (primMulInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33626 -> 33633[label="",style="solid", color="black", weight=3];
33627[label="not (primCmpInt (primMulInt (Neg wv300) (primPlusInt (Neg wv400) (primMulInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33627 -> 33634[label="",style="solid", color="black", weight=3];
33628[label="primMulInt wv1843 (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];34544[label="wv1843/Pos wv18430",fontsize=10,color="white",style="solid",shape="box"];33628 -> 34544[label="",style="solid", color="burlywood", weight=9];
34544 -> 33635[label="",style="solid", color="burlywood", weight=3];
34545[label="wv1843/Neg wv18430",fontsize=10,color="white",style="solid",shape="box"];33628 -> 34545[label="",style="solid", color="burlywood", weight=9];
34545 -> 33636[label="",style="solid", color="burlywood", weight=3];
33629[label="primPlusInt wv1844 (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];34546[label="wv1844/Pos wv18440",fontsize=10,color="white",style="solid",shape="box"];33629 -> 34546[label="",style="solid", color="burlywood", weight=9];
34546 -> 33637[label="",style="solid", color="burlywood", weight=3];
34547[label="wv1844/Neg wv18440",fontsize=10,color="white",style="solid",shape="box"];33629 -> 34547[label="",style="solid", color="burlywood", weight=9];
34547 -> 33638[label="",style="solid", color="burlywood", weight=3];
33630[label="Float (wv1844 + Pos (Succ Zero)) (wv1843 * Pos (Succ Zero))",fontsize=16,color="green",shape="box"];33630 -> 33639[label="",style="dashed", color="green", weight=3];
33630 -> 33640[label="",style="dashed", color="green", weight=3];
33631[label="not (primCmpInt (primMulInt (Pos wv300) (primPlusInt (Pos wv400) (Pos (primMulNat (Succ Zero) (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33631 -> 33641[label="",style="solid", color="black", weight=3];
33632[label="not (primCmpInt (primMulInt (Pos wv300) (primPlusInt (Neg wv400) (Pos (primMulNat (Succ Zero) (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33632 -> 33642[label="",style="solid", color="black", weight=3];
33633[label="not (primCmpInt (primMulInt (Neg wv300) (primPlusInt (Pos wv400) (Pos (primMulNat (Succ Zero) (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33633 -> 33643[label="",style="solid", color="black", weight=3];
33634[label="not (primCmpInt (primMulInt (Neg wv300) (primPlusInt (Neg wv400) (Pos (primMulNat (Succ Zero) (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33634 -> 33644[label="",style="solid", color="black", weight=3];
33635[label="primMulInt (Pos wv18430) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];33635 -> 33645[label="",style="solid", color="black", weight=3];
33636[label="primMulInt (Neg wv18430) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];33636 -> 33646[label="",style="solid", color="black", weight=3];
33637[label="primPlusInt (Pos wv18440) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];33637 -> 33647[label="",style="solid", color="black", weight=3];
33638[label="primPlusInt (Neg wv18440) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];33638 -> 33648[label="",style="solid", color="black", weight=3];
33639 -> 33620[label="",style="dashed", color="red", weight=0];
33639[label="wv1844 + Pos (Succ Zero)",fontsize=16,color="magenta"];33640 -> 33619[label="",style="dashed", color="red", weight=0];
33640[label="wv1843 * Pos (Succ Zero)",fontsize=16,color="magenta"];33641[label="not (primCmpInt (primMulInt (Pos wv300) (Pos (primPlusNat wv400 (primMulNat (Succ Zero) (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33641 -> 33649[label="",style="solid", color="black", weight=3];
33642 -> 33675[label="",style="dashed", color="red", weight=0];
33642[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat (primMulNat (Succ Zero) (Succ Zero)) wv400)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33642 -> 33676[label="",style="dashed", color="magenta", weight=3];
33643[label="not (primCmpInt (primMulInt (Neg wv300) (Pos (primPlusNat wv400 (primMulNat (Succ Zero) (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33643 -> 33651[label="",style="solid", color="black", weight=3];
33644 -> 33686[label="",style="dashed", color="red", weight=0];
33644[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat (primMulNat (Succ Zero) (Succ Zero)) wv400)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33644 -> 33687[label="",style="dashed", color="magenta", weight=3];
33645[label="Pos (primMulNat wv18430 (Succ Zero))",fontsize=16,color="green",shape="box"];33645 -> 33653[label="",style="dashed", color="green", weight=3];
33646[label="Neg (primMulNat wv18430 (Succ Zero))",fontsize=16,color="green",shape="box"];33646 -> 33654[label="",style="dashed", color="green", weight=3];
33647[label="Pos (primPlusNat wv18440 (Succ Zero))",fontsize=16,color="green",shape="box"];33647 -> 33655[label="",style="dashed", color="green", weight=3];
33648[label="primMinusNat (Succ Zero) wv18440",fontsize=16,color="burlywood",shape="box"];34552[label="wv18440/Succ wv184400",fontsize=10,color="white",style="solid",shape="box"];33648 -> 34552[label="",style="solid", color="burlywood", weight=9];
34552 -> 33656[label="",style="solid", color="burlywood", weight=3];
34553[label="wv18440/Zero",fontsize=10,color="white",style="solid",shape="box"];33648 -> 34553[label="",style="solid", color="burlywood", weight=9];
34553 -> 33657[label="",style="solid", color="burlywood", weight=3];
33649 -> 33875[label="",style="dashed", color="red", weight=0];
33649[label="not (primCmpInt (Pos (primMulNat wv300 (primPlusNat wv400 (primMulNat (Succ Zero) (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33649 -> 33876[label="",style="dashed", color="magenta", weight=3];
33676 -> 33653[label="",style="dashed", color="red", weight=0];
33676[label="primMulNat (Succ Zero) (Succ Zero)",fontsize=16,color="magenta"];33676 -> 33679[label="",style="dashed", color="magenta", weight=3];
33675[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat wv1894 wv400)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="triangle"];34556[label="wv1894/Succ wv18940",fontsize=10,color="white",style="solid",shape="box"];33675 -> 34556[label="",style="solid", color="burlywood", weight=9];
34556 -> 33680[label="",style="solid", color="burlywood", weight=3];
34557[label="wv1894/Zero",fontsize=10,color="white",style="solid",shape="box"];33675 -> 34557[label="",style="solid", color="burlywood", weight=9];
34557 -> 33681[label="",style="solid", color="burlywood", weight=3];
33651 -> 33935[label="",style="dashed", color="red", weight=0];
33651[label="not (primCmpInt (Neg (primMulNat wv300 (primPlusNat wv400 (primMulNat (Succ Zero) (Succ Zero))))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33651 -> 33936[label="",style="dashed", color="magenta", weight=3];
33687 -> 33653[label="",style="dashed", color="red", weight=0];
33687[label="primMulNat (Succ Zero) (Succ Zero)",fontsize=16,color="magenta"];33687 -> 33690[label="",style="dashed", color="magenta", weight=3];
33686[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat wv1895 wv400)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="triangle"];34560[label="wv1895/Succ wv18950",fontsize=10,color="white",style="solid",shape="box"];33686 -> 34560[label="",style="solid", color="burlywood", weight=9];
34560 -> 33691[label="",style="solid", color="burlywood", weight=3];
34561[label="wv1895/Zero",fontsize=10,color="white",style="solid",shape="box"];33686 -> 34561[label="",style="solid", color="burlywood", weight=9];
34561 -> 33692[label="",style="solid", color="burlywood", weight=3];
33653[label="primMulNat wv18430 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];34562[label="wv18430/Succ wv184300",fontsize=10,color="white",style="solid",shape="box"];33653 -> 34562[label="",style="solid", color="burlywood", weight=9];
34562 -> 33664[label="",style="solid", color="burlywood", weight=3];
34563[label="wv18430/Zero",fontsize=10,color="white",style="solid",shape="box"];33653 -> 34563[label="",style="solid", color="burlywood", weight=9];
34563 -> 33665[label="",style="solid", color="burlywood", weight=3];
33654 -> 33653[label="",style="dashed", color="red", weight=0];
33654[label="primMulNat wv18430 (Succ Zero)",fontsize=16,color="magenta"];33654 -> 33666[label="",style="dashed", color="magenta", weight=3];
33655 -> 33984[label="",style="dashed", color="red", weight=0];
33655[label="primPlusNat wv18440 (Succ Zero)",fontsize=16,color="magenta"];33655 -> 33985[label="",style="dashed", color="magenta", weight=3];
33655 -> 33986[label="",style="dashed", color="magenta", weight=3];
33656[label="primMinusNat (Succ Zero) (Succ wv184400)",fontsize=16,color="black",shape="box"];33656 -> 33669[label="",style="solid", color="black", weight=3];
33657[label="primMinusNat (Succ Zero) Zero",fontsize=16,color="black",shape="box"];33657 -> 33670[label="",style="solid", color="black", weight=3];
33876 -> 33902[label="",style="dashed", color="red", weight=0];
33876[label="primMulNat wv300 (primPlusNat wv400 (primMulNat (Succ Zero) (Succ Zero)))",fontsize=16,color="magenta"];33876 -> 33903[label="",style="dashed", color="magenta", weight=3];
33875[label="not (primCmpInt (Pos wv1912) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="triangle"];34567[label="wv1912/Succ wv19120",fontsize=10,color="white",style="solid",shape="box"];33875 -> 34567[label="",style="solid", color="burlywood", weight=9];
34567 -> 33904[label="",style="solid", color="burlywood", weight=3];
34568[label="wv1912/Zero",fontsize=10,color="white",style="solid",shape="box"];33875 -> 34568[label="",style="solid", color="burlywood", weight=9];
34568 -> 33905[label="",style="solid", color="burlywood", weight=3];
33679[label="Succ Zero",fontsize=16,color="green",shape="box"];33680[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat (Succ wv18940) wv400)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34569[label="wv400/Succ wv4000",fontsize=10,color="white",style="solid",shape="box"];33680 -> 34569[label="",style="solid", color="burlywood", weight=9];
34569 -> 33693[label="",style="solid", color="burlywood", weight=3];
34570[label="wv400/Zero",fontsize=10,color="white",style="solid",shape="box"];33680 -> 34570[label="",style="solid", color="burlywood", weight=9];
34570 -> 33694[label="",style="solid", color="burlywood", weight=3];
33681[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat Zero wv400)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34571[label="wv400/Succ wv4000",fontsize=10,color="white",style="solid",shape="box"];33681 -> 34571[label="",style="solid", color="burlywood", weight=9];
34571 -> 33695[label="",style="solid", color="burlywood", weight=3];
34572[label="wv400/Zero",fontsize=10,color="white",style="solid",shape="box"];33681 -> 34572[label="",style="solid", color="burlywood", weight=9];
34572 -> 33696[label="",style="solid", color="burlywood", weight=3];
33936 -> 33902[label="",style="dashed", color="red", weight=0];
33936[label="primMulNat wv300 (primPlusNat wv400 (primMulNat (Succ Zero) (Succ Zero)))",fontsize=16,color="magenta"];33936 -> 33964[label="",style="dashed", color="magenta", weight=3];
33936 -> 33965[label="",style="dashed", color="magenta", weight=3];
33935[label="not (primCmpInt (Neg wv1916) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="triangle"];34574[label="wv1916/Succ wv19160",fontsize=10,color="white",style="solid",shape="box"];33935 -> 34574[label="",style="solid", color="burlywood", weight=9];
34574 -> 33966[label="",style="solid", color="burlywood", weight=3];
34575[label="wv1916/Zero",fontsize=10,color="white",style="solid",shape="box"];33935 -> 34575[label="",style="solid", color="burlywood", weight=9];
34575 -> 33967[label="",style="solid", color="burlywood", weight=3];
33690[label="Succ Zero",fontsize=16,color="green",shape="box"];33691[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat (Succ wv18950) wv400)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34576[label="wv400/Succ wv4000",fontsize=10,color="white",style="solid",shape="box"];33691 -> 34576[label="",style="solid", color="burlywood", weight=9];
34576 -> 33711[label="",style="solid", color="burlywood", weight=3];
34577[label="wv400/Zero",fontsize=10,color="white",style="solid",shape="box"];33691 -> 34577[label="",style="solid", color="burlywood", weight=9];
34577 -> 33712[label="",style="solid", color="burlywood", weight=3];
33692[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat Zero wv400)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34578[label="wv400/Succ wv4000",fontsize=10,color="white",style="solid",shape="box"];33692 -> 34578[label="",style="solid", color="burlywood", weight=9];
34578 -> 33713[label="",style="solid", color="burlywood", weight=3];
34579[label="wv400/Zero",fontsize=10,color="white",style="solid",shape="box"];33692 -> 34579[label="",style="solid", color="burlywood", weight=9];
34579 -> 33714[label="",style="solid", color="burlywood", weight=3];
33664[label="primMulNat (Succ wv184300) (Succ Zero)",fontsize=16,color="black",shape="box"];33664 -> 33697[label="",style="solid", color="black", weight=3];
33665[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];33665 -> 33698[label="",style="solid", color="black", weight=3];
33666[label="wv18430",fontsize=16,color="green",shape="box"];33985[label="Zero",fontsize=16,color="green",shape="box"];33986[label="wv18440",fontsize=16,color="green",shape="box"];33984[label="primPlusNat wv1918 (Succ wv18940)",fontsize=16,color="burlywood",shape="triangle"];34580[label="wv1918/Succ wv19180",fontsize=10,color="white",style="solid",shape="box"];33984 -> 34580[label="",style="solid", color="burlywood", weight=9];
34580 -> 33990[label="",style="solid", color="burlywood", weight=3];
34581[label="wv1918/Zero",fontsize=10,color="white",style="solid",shape="box"];33984 -> 34581[label="",style="solid", color="burlywood", weight=9];
34581 -> 33991[label="",style="solid", color="burlywood", weight=3];
33669[label="primMinusNat Zero wv184400",fontsize=16,color="burlywood",shape="box"];34582[label="wv184400/Succ wv1844000",fontsize=10,color="white",style="solid",shape="box"];33669 -> 34582[label="",style="solid", color="burlywood", weight=9];
34582 -> 33701[label="",style="solid", color="burlywood", weight=3];
34583[label="wv184400/Zero",fontsize=10,color="white",style="solid",shape="box"];33669 -> 34583[label="",style="solid", color="burlywood", weight=9];
34583 -> 33702[label="",style="solid", color="burlywood", weight=3];
33670[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];33903 -> 33653[label="",style="dashed", color="red", weight=0];
33903[label="primMulNat (Succ Zero) (Succ Zero)",fontsize=16,color="magenta"];33903 -> 33906[label="",style="dashed", color="magenta", weight=3];
33902[label="primMulNat wv300 (primPlusNat wv400 wv1914)",fontsize=16,color="burlywood",shape="triangle"];34585[label="wv300/Succ wv3000",fontsize=10,color="white",style="solid",shape="box"];33902 -> 34585[label="",style="solid", color="burlywood", weight=9];
34585 -> 33907[label="",style="solid", color="burlywood", weight=3];
34586[label="wv300/Zero",fontsize=10,color="white",style="solid",shape="box"];33902 -> 34586[label="",style="solid", color="burlywood", weight=9];
34586 -> 33908[label="",style="solid", color="burlywood", weight=3];
33904[label="not (primCmpInt (Pos (Succ wv19120)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33904 -> 33917[label="",style="solid", color="black", weight=3];
33905[label="not (primCmpInt (Pos Zero) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33905 -> 33918[label="",style="solid", color="black", weight=3];
33693[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat (Succ wv18940) (Succ wv4000))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33693 -> 33715[label="",style="solid", color="black", weight=3];
33694[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat (Succ wv18940) Zero)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33694 -> 33716[label="",style="solid", color="black", weight=3];
33695[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat Zero (Succ wv4000))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33695 -> 33717[label="",style="solid", color="black", weight=3];
33696[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat Zero Zero)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33696 -> 33718[label="",style="solid", color="black", weight=3];
33964[label="wv300",fontsize=16,color="green",shape="box"];33965 -> 33885[label="",style="dashed", color="red", weight=0];
33965[label="primMulNat (Succ Zero) (Succ Zero)",fontsize=16,color="magenta"];33965 -> 33992[label="",style="dashed", color="magenta", weight=3];
33965 -> 33993[label="",style="dashed", color="magenta", weight=3];
33966[label="not (primCmpInt (Neg (Succ wv19160)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33966 -> 33994[label="",style="solid", color="black", weight=3];
33967[label="not (primCmpInt (Neg Zero) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33967 -> 33995[label="",style="solid", color="black", weight=3];
33711[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat (Succ wv18950) (Succ wv4000))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33711 -> 33725[label="",style="solid", color="black", weight=3];
33712[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat (Succ wv18950) Zero)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33712 -> 33726[label="",style="solid", color="black", weight=3];
33713[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat Zero (Succ wv4000))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33713 -> 33727[label="",style="solid", color="black", weight=3];
33714[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat Zero Zero)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33714 -> 33728[label="",style="solid", color="black", weight=3];
33697 -> 33984[label="",style="dashed", color="red", weight=0];
33697[label="primPlusNat (primMulNat wv184300 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];33697 -> 33987[label="",style="dashed", color="magenta", weight=3];
33697 -> 33988[label="",style="dashed", color="magenta", weight=3];
33698[label="Zero",fontsize=16,color="green",shape="box"];33990[label="primPlusNat (Succ wv19180) (Succ wv18940)",fontsize=16,color="black",shape="box"];33990 -> 34011[label="",style="solid", color="black", weight=3];
33991[label="primPlusNat Zero (Succ wv18940)",fontsize=16,color="black",shape="box"];33991 -> 34012[label="",style="solid", color="black", weight=3];
33701[label="primMinusNat Zero (Succ wv1844000)",fontsize=16,color="black",shape="box"];33701 -> 33721[label="",style="solid", color="black", weight=3];
33702[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];33702 -> 33722[label="",style="solid", color="black", weight=3];
33906[label="Succ Zero",fontsize=16,color="green",shape="box"];33907[label="primMulNat (Succ wv3000) (primPlusNat wv400 wv1914)",fontsize=16,color="burlywood",shape="box"];34589[label="wv400/Succ wv4000",fontsize=10,color="white",style="solid",shape="box"];33907 -> 34589[label="",style="solid", color="burlywood", weight=9];
34589 -> 33919[label="",style="solid", color="burlywood", weight=3];
34590[label="wv400/Zero",fontsize=10,color="white",style="solid",shape="box"];33907 -> 34590[label="",style="solid", color="burlywood", weight=9];
34590 -> 33920[label="",style="solid", color="burlywood", weight=3];
33908[label="primMulNat Zero (primPlusNat wv400 wv1914)",fontsize=16,color="burlywood",shape="box"];34591[label="wv400/Succ wv4000",fontsize=10,color="white",style="solid",shape="box"];33908 -> 34591[label="",style="solid", color="burlywood", weight=9];
34591 -> 33921[label="",style="solid", color="burlywood", weight=3];
34592[label="wv400/Zero",fontsize=10,color="white",style="solid",shape="box"];33908 -> 34592[label="",style="solid", color="burlywood", weight=9];
34592 -> 33922[label="",style="solid", color="burlywood", weight=3];
33917[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt wv31 (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34593[label="wv31/Pos wv310",fontsize=10,color="white",style="solid",shape="box"];33917 -> 34593[label="",style="solid", color="burlywood", weight=9];
34593 -> 33968[label="",style="solid", color="burlywood", weight=3];
34594[label="wv31/Neg wv310",fontsize=10,color="white",style="solid",shape="box"];33917 -> 34594[label="",style="solid", color="burlywood", weight=9];
34594 -> 33969[label="",style="solid", color="burlywood", weight=3];
33918[label="not (primCmpInt (Pos Zero) (primMulInt wv31 (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34595[label="wv31/Pos wv310",fontsize=10,color="white",style="solid",shape="box"];33918 -> 34595[label="",style="solid", color="burlywood", weight=9];
34595 -> 33970[label="",style="solid", color="burlywood", weight=3];
34596[label="wv31/Neg wv310",fontsize=10,color="white",style="solid",shape="box"];33918 -> 34596[label="",style="solid", color="burlywood", weight=9];
34596 -> 33971[label="",style="solid", color="burlywood", weight=3];
33715 -> 33675[label="",style="dashed", color="red", weight=0];
33715[label="not (primCmpInt (primMulInt (Pos wv300) (primMinusNat wv18940 wv4000)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33715 -> 33735[label="",style="dashed", color="magenta", weight=3];
33715 -> 33736[label="",style="dashed", color="magenta", weight=3];
33716[label="not (primCmpInt (primMulInt (Pos wv300) (Pos (Succ wv18940))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33716 -> 33737[label="",style="solid", color="black", weight=3];
33717[label="not (primCmpInt (primMulInt (Pos wv300) (Neg (Succ wv4000))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33717 -> 33738[label="",style="solid", color="black", weight=3];
33718[label="not (primCmpInt (primMulInt (Pos wv300) (Pos Zero)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33718 -> 33739[label="",style="solid", color="black", weight=3];
33992[label="Zero",fontsize=16,color="green",shape="box"];33993[label="Succ Zero",fontsize=16,color="green",shape="box"];33885[label="primMulNat wv300 (Succ wv18940)",fontsize=16,color="burlywood",shape="triangle"];34598[label="wv300/Succ wv3000",fontsize=10,color="white",style="solid",shape="box"];33885 -> 34598[label="",style="solid", color="burlywood", weight=9];
34598 -> 33909[label="",style="solid", color="burlywood", weight=3];
34599[label="wv300/Zero",fontsize=10,color="white",style="solid",shape="box"];33885 -> 34599[label="",style="solid", color="burlywood", weight=9];
34599 -> 33910[label="",style="solid", color="burlywood", weight=3];
33994[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt wv31 (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34600[label="wv31/Pos wv310",fontsize=10,color="white",style="solid",shape="box"];33994 -> 34600[label="",style="solid", color="burlywood", weight=9];
34600 -> 34013[label="",style="solid", color="burlywood", weight=3];
34601[label="wv31/Neg wv310",fontsize=10,color="white",style="solid",shape="box"];33994 -> 34601[label="",style="solid", color="burlywood", weight=9];
34601 -> 34014[label="",style="solid", color="burlywood", weight=3];
33995[label="not (primCmpInt (Neg Zero) (primMulInt wv31 (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34602[label="wv31/Pos wv310",fontsize=10,color="white",style="solid",shape="box"];33995 -> 34602[label="",style="solid", color="burlywood", weight=9];
34602 -> 34015[label="",style="solid", color="burlywood", weight=3];
34603[label="wv31/Neg wv310",fontsize=10,color="white",style="solid",shape="box"];33995 -> 34603[label="",style="solid", color="burlywood", weight=9];
34603 -> 34016[label="",style="solid", color="burlywood", weight=3];
33725 -> 33686[label="",style="dashed", color="red", weight=0];
33725[label="not (primCmpInt (primMulInt (Neg wv300) (primMinusNat wv18950 wv4000)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33725 -> 33748[label="",style="dashed", color="magenta", weight=3];
33725 -> 33749[label="",style="dashed", color="magenta", weight=3];
33726[label="not (primCmpInt (primMulInt (Neg wv300) (Pos (Succ wv18950))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33726 -> 33750[label="",style="solid", color="black", weight=3];
33727[label="not (primCmpInt (primMulInt (Neg wv300) (Neg (Succ wv4000))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33727 -> 33751[label="",style="solid", color="black", weight=3];
33728[label="not (primCmpInt (primMulInt (Neg wv300) (Pos Zero)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33728 -> 33752[label="",style="solid", color="black", weight=3];
33987[label="Zero",fontsize=16,color="green",shape="box"];33988 -> 33885[label="",style="dashed", color="red", weight=0];
33988[label="primMulNat wv184300 (Succ Zero)",fontsize=16,color="magenta"];33988 -> 33996[label="",style="dashed", color="magenta", weight=3];
33988 -> 33997[label="",style="dashed", color="magenta", weight=3];
34011[label="Succ (Succ (primPlusNat wv19180 wv18940))",fontsize=16,color="green",shape="box"];34011 -> 34039[label="",style="dashed", color="green", weight=3];
34012[label="Succ wv18940",fontsize=16,color="green",shape="box"];33721[label="Neg (Succ wv1844000)",fontsize=16,color="green",shape="box"];33722[label="Pos Zero",fontsize=16,color="green",shape="box"];33919[label="primMulNat (Succ wv3000) (primPlusNat (Succ wv4000) wv1914)",fontsize=16,color="burlywood",shape="box"];34606[label="wv1914/Succ wv19140",fontsize=10,color="white",style="solid",shape="box"];33919 -> 34606[label="",style="solid", color="burlywood", weight=9];
34606 -> 33972[label="",style="solid", color="burlywood", weight=3];
34607[label="wv1914/Zero",fontsize=10,color="white",style="solid",shape="box"];33919 -> 34607[label="",style="solid", color="burlywood", weight=9];
34607 -> 33973[label="",style="solid", color="burlywood", weight=3];
33920[label="primMulNat (Succ wv3000) (primPlusNat Zero wv1914)",fontsize=16,color="burlywood",shape="box"];34608[label="wv1914/Succ wv19140",fontsize=10,color="white",style="solid",shape="box"];33920 -> 34608[label="",style="solid", color="burlywood", weight=9];
34608 -> 33974[label="",style="solid", color="burlywood", weight=3];
34609[label="wv1914/Zero",fontsize=10,color="white",style="solid",shape="box"];33920 -> 34609[label="",style="solid", color="burlywood", weight=9];
34609 -> 33975[label="",style="solid", color="burlywood", weight=3];
33921[label="primMulNat Zero (primPlusNat (Succ wv4000) wv1914)",fontsize=16,color="burlywood",shape="box"];34610[label="wv1914/Succ wv19140",fontsize=10,color="white",style="solid",shape="box"];33921 -> 34610[label="",style="solid", color="burlywood", weight=9];
34610 -> 33976[label="",style="solid", color="burlywood", weight=3];
34611[label="wv1914/Zero",fontsize=10,color="white",style="solid",shape="box"];33921 -> 34611[label="",style="solid", color="burlywood", weight=9];
34611 -> 33977[label="",style="solid", color="burlywood", weight=3];
33922[label="primMulNat Zero (primPlusNat Zero wv1914)",fontsize=16,color="burlywood",shape="box"];34612[label="wv1914/Succ wv19140",fontsize=10,color="white",style="solid",shape="box"];33922 -> 34612[label="",style="solid", color="burlywood", weight=9];
34612 -> 33978[label="",style="solid", color="burlywood", weight=3];
34613[label="wv1914/Zero",fontsize=10,color="white",style="solid",shape="box"];33922 -> 34613[label="",style="solid", color="burlywood", weight=9];
34613 -> 33979[label="",style="solid", color="burlywood", weight=3];
33968[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33968 -> 33998[label="",style="solid", color="black", weight=3];
33969[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33969 -> 33999[label="",style="solid", color="black", weight=3];
33970[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33970 -> 34000[label="",style="solid", color="black", weight=3];
33971[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];33971 -> 34001[label="",style="solid", color="black", weight=3];
33735[label="wv4000",fontsize=16,color="green",shape="box"];33736[label="wv18940",fontsize=16,color="green",shape="box"];33737 -> 33875[label="",style="dashed", color="red", weight=0];
33737[label="not (primCmpInt (Pos (primMulNat wv300 (Succ wv18940))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33737 -> 33885[label="",style="dashed", color="magenta", weight=3];
33738 -> 33935[label="",style="dashed", color="red", weight=0];
33738[label="not (primCmpInt (Neg (primMulNat wv300 (Succ wv4000))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33738 -> 33941[label="",style="dashed", color="magenta", weight=3];
33739 -> 33875[label="",style="dashed", color="red", weight=0];
33739[label="not (primCmpInt (Pos (primMulNat wv300 Zero)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33739 -> 33886[label="",style="dashed", color="magenta", weight=3];
33909[label="primMulNat (Succ wv3000) (Succ wv18940)",fontsize=16,color="black",shape="box"];33909 -> 33923[label="",style="solid", color="black", weight=3];
33910[label="primMulNat Zero (Succ wv18940)",fontsize=16,color="black",shape="box"];33910 -> 33924[label="",style="solid", color="black", weight=3];
34013[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34013 -> 34040[label="",style="solid", color="black", weight=3];
34014[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34014 -> 34041[label="",style="solid", color="black", weight=3];
34015[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34015 -> 34042[label="",style="solid", color="black", weight=3];
34016[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34016 -> 34043[label="",style="solid", color="black", weight=3];
33748[label="wv4000",fontsize=16,color="green",shape="box"];33749[label="wv18950",fontsize=16,color="green",shape="box"];33750 -> 33935[label="",style="dashed", color="red", weight=0];
33750[label="not (primCmpInt (Neg (primMulNat wv300 (Succ wv18950))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33750 -> 33946[label="",style="dashed", color="magenta", weight=3];
33751 -> 33875[label="",style="dashed", color="red", weight=0];
33751[label="not (primCmpInt (Pos (primMulNat wv300 (Succ wv4000))) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33751 -> 33887[label="",style="dashed", color="magenta", weight=3];
33752 -> 33935[label="",style="dashed", color="red", weight=0];
33752[label="not (primCmpInt (Neg (primMulNat wv300 Zero)) (wv31 * (wv41 * (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="magenta"];33752 -> 33947[label="",style="dashed", color="magenta", weight=3];
33996[label="Zero",fontsize=16,color="green",shape="box"];33997[label="wv184300",fontsize=16,color="green",shape="box"];34039[label="primPlusNat wv19180 wv18940",fontsize=16,color="burlywood",shape="triangle"];34620[label="wv19180/Succ wv191800",fontsize=10,color="white",style="solid",shape="box"];34039 -> 34620[label="",style="solid", color="burlywood", weight=9];
34620 -> 34054[label="",style="solid", color="burlywood", weight=3];
34621[label="wv19180/Zero",fontsize=10,color="white",style="solid",shape="box"];34039 -> 34621[label="",style="solid", color="burlywood", weight=9];
34621 -> 34055[label="",style="solid", color="burlywood", weight=3];
33972[label="primMulNat (Succ wv3000) (primPlusNat (Succ wv4000) (Succ wv19140))",fontsize=16,color="black",shape="box"];33972 -> 34002[label="",style="solid", color="black", weight=3];
33973[label="primMulNat (Succ wv3000) (primPlusNat (Succ wv4000) Zero)",fontsize=16,color="black",shape="box"];33973 -> 34003[label="",style="solid", color="black", weight=3];
33974[label="primMulNat (Succ wv3000) (primPlusNat Zero (Succ wv19140))",fontsize=16,color="black",shape="box"];33974 -> 34004[label="",style="solid", color="black", weight=3];
33975[label="primMulNat (Succ wv3000) (primPlusNat Zero Zero)",fontsize=16,color="black",shape="box"];33975 -> 34005[label="",style="solid", color="black", weight=3];
33976[label="primMulNat Zero (primPlusNat (Succ wv4000) (Succ wv19140))",fontsize=16,color="black",shape="box"];33976 -> 34006[label="",style="solid", color="black", weight=3];
33977[label="primMulNat Zero (primPlusNat (Succ wv4000) Zero)",fontsize=16,color="black",shape="box"];33977 -> 34007[label="",style="solid", color="black", weight=3];
33978[label="primMulNat Zero (primPlusNat Zero (Succ wv19140))",fontsize=16,color="black",shape="box"];33978 -> 34008[label="",style="solid", color="black", weight=3];
33979[label="primMulNat Zero (primPlusNat Zero Zero)",fontsize=16,color="black",shape="box"];33979 -> 34009[label="",style="solid", color="black", weight=3];
33998[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt wv41 (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34622[label="wv41/Pos wv410",fontsize=10,color="white",style="solid",shape="box"];33998 -> 34622[label="",style="solid", color="burlywood", weight=9];
34622 -> 34017[label="",style="solid", color="burlywood", weight=3];
34623[label="wv41/Neg wv410",fontsize=10,color="white",style="solid",shape="box"];33998 -> 34623[label="",style="solid", color="burlywood", weight=9];
34623 -> 34018[label="",style="solid", color="burlywood", weight=3];
33999[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt wv41 (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34624[label="wv41/Pos wv410",fontsize=10,color="white",style="solid",shape="box"];33999 -> 34624[label="",style="solid", color="burlywood", weight=9];
34624 -> 34019[label="",style="solid", color="burlywood", weight=3];
34625[label="wv41/Neg wv410",fontsize=10,color="white",style="solid",shape="box"];33999 -> 34625[label="",style="solid", color="burlywood", weight=9];
34625 -> 34020[label="",style="solid", color="burlywood", weight=3];
34000[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt wv41 (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34626[label="wv41/Pos wv410",fontsize=10,color="white",style="solid",shape="box"];34000 -> 34626[label="",style="solid", color="burlywood", weight=9];
34626 -> 34021[label="",style="solid", color="burlywood", weight=3];
34627[label="wv41/Neg wv410",fontsize=10,color="white",style="solid",shape="box"];34000 -> 34627[label="",style="solid", color="burlywood", weight=9];
34627 -> 34022[label="",style="solid", color="burlywood", weight=3];
34001[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt wv41 (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34628[label="wv41/Pos wv410",fontsize=10,color="white",style="solid",shape="box"];34001 -> 34628[label="",style="solid", color="burlywood", weight=9];
34628 -> 34023[label="",style="solid", color="burlywood", weight=3];
34629[label="wv41/Neg wv410",fontsize=10,color="white",style="solid",shape="box"];34001 -> 34629[label="",style="solid", color="burlywood", weight=9];
34629 -> 34024[label="",style="solid", color="burlywood", weight=3];
33941 -> 33885[label="",style="dashed", color="red", weight=0];
33941[label="primMulNat wv300 (Succ wv4000)",fontsize=16,color="magenta"];33941 -> 33980[label="",style="dashed", color="magenta", weight=3];
33886[label="primMulNat wv300 Zero",fontsize=16,color="burlywood",shape="triangle"];34631[label="wv300/Succ wv3000",fontsize=10,color="white",style="solid",shape="box"];33886 -> 34631[label="",style="solid", color="burlywood", weight=9];
34631 -> 33911[label="",style="solid", color="burlywood", weight=3];
34632[label="wv300/Zero",fontsize=10,color="white",style="solid",shape="box"];33886 -> 34632[label="",style="solid", color="burlywood", weight=9];
34632 -> 33912[label="",style="solid", color="burlywood", weight=3];
33923 -> 33984[label="",style="dashed", color="red", weight=0];
33923[label="primPlusNat (primMulNat wv3000 (Succ wv18940)) (Succ wv18940)",fontsize=16,color="magenta"];33923 -> 33989[label="",style="dashed", color="magenta", weight=3];
33924[label="Zero",fontsize=16,color="green",shape="box"];34040[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt wv41 (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34634[label="wv41/Pos wv410",fontsize=10,color="white",style="solid",shape="box"];34040 -> 34634[label="",style="solid", color="burlywood", weight=9];
34634 -> 34056[label="",style="solid", color="burlywood", weight=3];
34635[label="wv41/Neg wv410",fontsize=10,color="white",style="solid",shape="box"];34040 -> 34635[label="",style="solid", color="burlywood", weight=9];
34635 -> 34057[label="",style="solid", color="burlywood", weight=3];
34041[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt wv41 (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34636[label="wv41/Pos wv410",fontsize=10,color="white",style="solid",shape="box"];34041 -> 34636[label="",style="solid", color="burlywood", weight=9];
34636 -> 34058[label="",style="solid", color="burlywood", weight=3];
34637[label="wv41/Neg wv410",fontsize=10,color="white",style="solid",shape="box"];34041 -> 34637[label="",style="solid", color="burlywood", weight=9];
34637 -> 34059[label="",style="solid", color="burlywood", weight=3];
34042[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt wv41 (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34638[label="wv41/Pos wv410",fontsize=10,color="white",style="solid",shape="box"];34042 -> 34638[label="",style="solid", color="burlywood", weight=9];
34638 -> 34060[label="",style="solid", color="burlywood", weight=3];
34639[label="wv41/Neg wv410",fontsize=10,color="white",style="solid",shape="box"];34042 -> 34639[label="",style="solid", color="burlywood", weight=9];
34639 -> 34061[label="",style="solid", color="burlywood", weight=3];
34043[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt wv41 (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="burlywood",shape="box"];34640[label="wv41/Pos wv410",fontsize=10,color="white",style="solid",shape="box"];34043 -> 34640[label="",style="solid", color="burlywood", weight=9];
34640 -> 34062[label="",style="solid", color="burlywood", weight=3];
34641[label="wv41/Neg wv410",fontsize=10,color="white",style="solid",shape="box"];34043 -> 34641[label="",style="solid", color="burlywood", weight=9];
34641 -> 34063[label="",style="solid", color="burlywood", weight=3];
33946 -> 33885[label="",style="dashed", color="red", weight=0];
33946[label="primMulNat wv300 (Succ wv18950)",fontsize=16,color="magenta"];33946 -> 33981[label="",style="dashed", color="magenta", weight=3];
33946 -> 33982[label="",style="dashed", color="magenta", weight=3];
33887 -> 33885[label="",style="dashed", color="red", weight=0];
33887[label="primMulNat wv300 (Succ wv4000)",fontsize=16,color="magenta"];33887 -> 33913[label="",style="dashed", color="magenta", weight=3];
33887 -> 33914[label="",style="dashed", color="magenta", weight=3];
33947 -> 33886[label="",style="dashed", color="red", weight=0];
33947[label="primMulNat wv300 Zero",fontsize=16,color="magenta"];33947 -> 33983[label="",style="dashed", color="magenta", weight=3];
34054[label="primPlusNat (Succ wv191800) wv18940",fontsize=16,color="burlywood",shape="box"];34645[label="wv18940/Succ wv189400",fontsize=10,color="white",style="solid",shape="box"];34054 -> 34645[label="",style="solid", color="burlywood", weight=9];
34645 -> 34076[label="",style="solid", color="burlywood", weight=3];
34646[label="wv18940/Zero",fontsize=10,color="white",style="solid",shape="box"];34054 -> 34646[label="",style="solid", color="burlywood", weight=9];
34646 -> 34077[label="",style="solid", color="burlywood", weight=3];
34055[label="primPlusNat Zero wv18940",fontsize=16,color="burlywood",shape="box"];34647[label="wv18940/Succ wv189400",fontsize=10,color="white",style="solid",shape="box"];34055 -> 34647[label="",style="solid", color="burlywood", weight=9];
34647 -> 34078[label="",style="solid", color="burlywood", weight=3];
34648[label="wv18940/Zero",fontsize=10,color="white",style="solid",shape="box"];34055 -> 34648[label="",style="solid", color="burlywood", weight=9];
34648 -> 34079[label="",style="solid", color="burlywood", weight=3];
34002 -> 33885[label="",style="dashed", color="red", weight=0];
34002[label="primMulNat (Succ wv3000) (Succ (Succ (primPlusNat wv4000 wv19140)))",fontsize=16,color="magenta"];34002 -> 34025[label="",style="dashed", color="magenta", weight=3];
34002 -> 34026[label="",style="dashed", color="magenta", weight=3];
34003 -> 33885[label="",style="dashed", color="red", weight=0];
34003[label="primMulNat (Succ wv3000) (Succ wv4000)",fontsize=16,color="magenta"];34003 -> 34027[label="",style="dashed", color="magenta", weight=3];
34003 -> 34028[label="",style="dashed", color="magenta", weight=3];
34004 -> 33885[label="",style="dashed", color="red", weight=0];
34004[label="primMulNat (Succ wv3000) (Succ wv19140)",fontsize=16,color="magenta"];34004 -> 34029[label="",style="dashed", color="magenta", weight=3];
34004 -> 34030[label="",style="dashed", color="magenta", weight=3];
34005 -> 33886[label="",style="dashed", color="red", weight=0];
34005[label="primMulNat (Succ wv3000) Zero",fontsize=16,color="magenta"];34005 -> 34031[label="",style="dashed", color="magenta", weight=3];
34006 -> 33885[label="",style="dashed", color="red", weight=0];
34006[label="primMulNat Zero (Succ (Succ (primPlusNat wv4000 wv19140)))",fontsize=16,color="magenta"];34006 -> 34032[label="",style="dashed", color="magenta", weight=3];
34006 -> 34033[label="",style="dashed", color="magenta", weight=3];
34007 -> 33885[label="",style="dashed", color="red", weight=0];
34007[label="primMulNat Zero (Succ wv4000)",fontsize=16,color="magenta"];34007 -> 34034[label="",style="dashed", color="magenta", weight=3];
34007 -> 34035[label="",style="dashed", color="magenta", weight=3];
34008 -> 33885[label="",style="dashed", color="red", weight=0];
34008[label="primMulNat Zero (Succ wv19140)",fontsize=16,color="magenta"];34008 -> 34036[label="",style="dashed", color="magenta", weight=3];
34008 -> 34037[label="",style="dashed", color="magenta", weight=3];
34009 -> 33886[label="",style="dashed", color="red", weight=0];
34009[label="primMulNat Zero Zero",fontsize=16,color="magenta"];34009 -> 34038[label="",style="dashed", color="magenta", weight=3];
34017[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34017 -> 34044[label="",style="solid", color="black", weight=3];
34018[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34018 -> 34045[label="",style="solid", color="black", weight=3];
34019[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34019 -> 34046[label="",style="solid", color="black", weight=3];
34020[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34020 -> 34047[label="",style="solid", color="black", weight=3];
34021[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34021 -> 34048[label="",style="solid", color="black", weight=3];
34022[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34022 -> 34049[label="",style="solid", color="black", weight=3];
34023[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34023 -> 34050[label="",style="solid", color="black", weight=3];
34024[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34024 -> 34051[label="",style="solid", color="black", weight=3];
33980[label="wv4000",fontsize=16,color="green",shape="box"];33911[label="primMulNat (Succ wv3000) Zero",fontsize=16,color="black",shape="box"];33911 -> 33925[label="",style="solid", color="black", weight=3];
33912[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];33912 -> 33926[label="",style="solid", color="black", weight=3];
33989 -> 33885[label="",style="dashed", color="red", weight=0];
33989[label="primMulNat wv3000 (Succ wv18940)",fontsize=16,color="magenta"];33989 -> 34010[label="",style="dashed", color="magenta", weight=3];
34056[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34056 -> 34080[label="",style="solid", color="black", weight=3];
34057[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34057 -> 34081[label="",style="solid", color="black", weight=3];
34058[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34058 -> 34082[label="",style="solid", color="black", weight=3];
34059[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34059 -> 34083[label="",style="solid", color="black", weight=3];
34060[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34060 -> 34084[label="",style="solid", color="black", weight=3];
34061[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34061 -> 34085[label="",style="solid", color="black", weight=3];
34062[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34062 -> 34086[label="",style="solid", color="black", weight=3];
34063[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos (Succ Zero) * Pos (Succ (Succ Zero))))) == GT)",fontsize=16,color="black",shape="box"];34063 -> 34087[label="",style="solid", color="black", weight=3];
33981[label="wv18950",fontsize=16,color="green",shape="box"];33982[label="wv300",fontsize=16,color="green",shape="box"];33913[label="wv4000",fontsize=16,color="green",shape="box"];33914[label="wv300",fontsize=16,color="green",shape="box"];33983[label="wv300",fontsize=16,color="green",shape="box"];34076[label="primPlusNat (Succ wv191800) (Succ wv189400)",fontsize=16,color="black",shape="box"];34076 -> 34090[label="",style="solid", color="black", weight=3];
34077[label="primPlusNat (Succ wv191800) Zero",fontsize=16,color="black",shape="box"];34077 -> 34091[label="",style="solid", color="black", weight=3];
34078[label="primPlusNat Zero (Succ wv189400)",fontsize=16,color="black",shape="box"];34078 -> 34092[label="",style="solid", color="black", weight=3];
34079[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];34079 -> 34093[label="",style="solid", color="black", weight=3];
34025[label="Succ (primPlusNat wv4000 wv19140)",fontsize=16,color="green",shape="box"];34025 -> 34052[label="",style="dashed", color="green", weight=3];
34026[label="Succ wv3000",fontsize=16,color="green",shape="box"];34027[label="wv4000",fontsize=16,color="green",shape="box"];34028[label="Succ wv3000",fontsize=16,color="green",shape="box"];34029[label="wv19140",fontsize=16,color="green",shape="box"];34030[label="Succ wv3000",fontsize=16,color="green",shape="box"];34031[label="Succ wv3000",fontsize=16,color="green",shape="box"];34032[label="Succ (primPlusNat wv4000 wv19140)",fontsize=16,color="green",shape="box"];34032 -> 34053[label="",style="dashed", color="green", weight=3];
34033[label="Zero",fontsize=16,color="green",shape="box"];34034[label="wv4000",fontsize=16,color="green",shape="box"];34035[label="Zero",fontsize=16,color="green",shape="box"];34036[label="wv19140",fontsize=16,color="green",shape="box"];34037[label="Zero",fontsize=16,color="green",shape="box"];34038[label="Zero",fontsize=16,color="green",shape="box"];34044[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34044 -> 34064[label="",style="solid", color="black", weight=3];
34045[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34045 -> 34065[label="",style="solid", color="black", weight=3];
34046[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34046 -> 34066[label="",style="solid", color="black", weight=3];
34047[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34047 -> 34067[label="",style="solid", color="black", weight=3];
34048[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34048 -> 34068[label="",style="solid", color="black", weight=3];
34049[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34049 -> 34069[label="",style="solid", color="black", weight=3];
34050[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34050 -> 34070[label="",style="solid", color="black", weight=3];
34051[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34051 -> 34071[label="",style="solid", color="black", weight=3];
33925[label="Zero",fontsize=16,color="green",shape="box"];33926[label="Zero",fontsize=16,color="green",shape="box"];34010[label="wv3000",fontsize=16,color="green",shape="box"];34080[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34080 -> 34094[label="",style="solid", color="black", weight=3];
34081[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34081 -> 34095[label="",style="solid", color="black", weight=3];
34082[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34082 -> 34096[label="",style="solid", color="black", weight=3];
34083[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34083 -> 34097[label="",style="solid", color="black", weight=3];
34084[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34084 -> 34098[label="",style="solid", color="black", weight=3];
34085[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34085 -> 34099[label="",style="solid", color="black", weight=3];
34086[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34086 -> 34100[label="",style="solid", color="black", weight=3];
34087[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (primMulInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) == GT)",fontsize=16,color="black",shape="box"];34087 -> 34101[label="",style="solid", color="black", weight=3];
34090[label="Succ (Succ (primPlusNat wv191800 wv189400))",fontsize=16,color="green",shape="box"];34090 -> 34104[label="",style="dashed", color="green", weight=3];
34091[label="Succ wv191800",fontsize=16,color="green",shape="box"];34092[label="Succ wv189400",fontsize=16,color="green",shape="box"];34093[label="Zero",fontsize=16,color="green",shape="box"];34052 -> 34039[label="",style="dashed", color="red", weight=0];
34052[label="primPlusNat wv4000 wv19140",fontsize=16,color="magenta"];34052 -> 34072[label="",style="dashed", color="magenta", weight=3];
34052 -> 34073[label="",style="dashed", color="magenta", weight=3];
34053 -> 34039[label="",style="dashed", color="red", weight=0];
34053[label="primPlusNat wv4000 wv19140",fontsize=16,color="magenta"];34053 -> 34074[label="",style="dashed", color="magenta", weight=3];
34053 -> 34075[label="",style="dashed", color="magenta", weight=3];
34064 -> 34088[label="",style="dashed", color="red", weight=0];
34064[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34064 -> 34089[label="",style="dashed", color="magenta", weight=3];
34065 -> 34102[label="",style="dashed", color="red", weight=0];
34065[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34065 -> 34103[label="",style="dashed", color="magenta", weight=3];
34066 -> 34105[label="",style="dashed", color="red", weight=0];
34066[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34066 -> 34106[label="",style="dashed", color="magenta", weight=3];
34067 -> 34107[label="",style="dashed", color="red", weight=0];
34067[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34067 -> 34108[label="",style="dashed", color="magenta", weight=3];
34068 -> 34109[label="",style="dashed", color="red", weight=0];
34068[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34068 -> 34110[label="",style="dashed", color="magenta", weight=3];
34069 -> 34111[label="",style="dashed", color="red", weight=0];
34069[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34069 -> 34112[label="",style="dashed", color="magenta", weight=3];
34070 -> 34113[label="",style="dashed", color="red", weight=0];
34070[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34070 -> 34114[label="",style="dashed", color="magenta", weight=3];
34071 -> 34115[label="",style="dashed", color="red", weight=0];
34071[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34071 -> 34116[label="",style="dashed", color="magenta", weight=3];
34094 -> 34117[label="",style="dashed", color="red", weight=0];
34094[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34094 -> 34118[label="",style="dashed", color="magenta", weight=3];
34095 -> 34119[label="",style="dashed", color="red", weight=0];
34095[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34095 -> 34120[label="",style="dashed", color="magenta", weight=3];
34096 -> 34121[label="",style="dashed", color="red", weight=0];
34096[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34096 -> 34122[label="",style="dashed", color="magenta", weight=3];
34097 -> 34123[label="",style="dashed", color="red", weight=0];
34097[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34097 -> 34124[label="",style="dashed", color="magenta", weight=3];
34098 -> 34125[label="",style="dashed", color="red", weight=0];
34098[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34098 -> 34126[label="",style="dashed", color="magenta", weight=3];
34099 -> 34127[label="",style="dashed", color="red", weight=0];
34099[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34099 -> 34128[label="",style="dashed", color="magenta", weight=3];
34100 -> 34129[label="",style="dashed", color="red", weight=0];
34100[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34100 -> 34130[label="",style="dashed", color="magenta", weight=3];
34101 -> 34131[label="",style="dashed", color="red", weight=0];
34101[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos (primMulNat (Succ Zero) (Succ (Succ Zero)))))) == GT)",fontsize=16,color="magenta"];34101 -> 34132[label="",style="dashed", color="magenta", weight=3];
34104 -> 34039[label="",style="dashed", color="red", weight=0];
34104[label="primPlusNat wv191800 wv189400",fontsize=16,color="magenta"];34104 -> 34133[label="",style="dashed", color="magenta", weight=3];
34104 -> 34134[label="",style="dashed", color="magenta", weight=3];
34072[label="wv19140",fontsize=16,color="green",shape="box"];34073[label="wv4000",fontsize=16,color="green",shape="box"];34074[label="wv19140",fontsize=16,color="green",shape="box"];34075[label="wv4000",fontsize=16,color="green",shape="box"];34089 -> 33885[label="",style="dashed", color="red", weight=0];
34089[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34089 -> 34135[label="",style="dashed", color="magenta", weight=3];
34089 -> 34136[label="",style="dashed", color="magenta", weight=3];
34088[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos wv1919))) == GT)",fontsize=16,color="black",shape="triangle"];34088 -> 34137[label="",style="solid", color="black", weight=3];
34103 -> 33885[label="",style="dashed", color="red", weight=0];
34103[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34103 -> 34138[label="",style="dashed", color="magenta", weight=3];
34103 -> 34139[label="",style="dashed", color="magenta", weight=3];
34102[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos wv1920))) == GT)",fontsize=16,color="black",shape="triangle"];34102 -> 34140[label="",style="solid", color="black", weight=3];
34106 -> 33885[label="",style="dashed", color="red", weight=0];
34106[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34106 -> 34141[label="",style="dashed", color="magenta", weight=3];
34106 -> 34142[label="",style="dashed", color="magenta", weight=3];
34105[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos wv1921))) == GT)",fontsize=16,color="black",shape="triangle"];34105 -> 34143[label="",style="solid", color="black", weight=3];
34108 -> 33885[label="",style="dashed", color="red", weight=0];
34108[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34108 -> 34144[label="",style="dashed", color="magenta", weight=3];
34108 -> 34145[label="",style="dashed", color="magenta", weight=3];
34107[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos wv1922))) == GT)",fontsize=16,color="black",shape="triangle"];34107 -> 34146[label="",style="solid", color="black", weight=3];
34110 -> 33885[label="",style="dashed", color="red", weight=0];
34110[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34110 -> 34147[label="",style="dashed", color="magenta", weight=3];
34110 -> 34148[label="",style="dashed", color="magenta", weight=3];
34109[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos wv1923))) == GT)",fontsize=16,color="black",shape="triangle"];34109 -> 34149[label="",style="solid", color="black", weight=3];
34112 -> 33885[label="",style="dashed", color="red", weight=0];
34112[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34112 -> 34150[label="",style="dashed", color="magenta", weight=3];
34112 -> 34151[label="",style="dashed", color="magenta", weight=3];
34111[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos wv1924))) == GT)",fontsize=16,color="black",shape="triangle"];34111 -> 34152[label="",style="solid", color="black", weight=3];
34114 -> 33885[label="",style="dashed", color="red", weight=0];
34114[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34114 -> 34153[label="",style="dashed", color="magenta", weight=3];
34114 -> 34154[label="",style="dashed", color="magenta", weight=3];
34113[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos wv1925))) == GT)",fontsize=16,color="black",shape="triangle"];34113 -> 34155[label="",style="solid", color="black", weight=3];
34116 -> 33885[label="",style="dashed", color="red", weight=0];
34116[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34116 -> 34156[label="",style="dashed", color="magenta", weight=3];
34116 -> 34157[label="",style="dashed", color="magenta", weight=3];
34115[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos wv1926))) == GT)",fontsize=16,color="black",shape="triangle"];34115 -> 34158[label="",style="solid", color="black", weight=3];
34118 -> 33885[label="",style="dashed", color="red", weight=0];
34118[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34118 -> 34159[label="",style="dashed", color="magenta", weight=3];
34118 -> 34160[label="",style="dashed", color="magenta", weight=3];
34117[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos wv1927))) == GT)",fontsize=16,color="black",shape="triangle"];34117 -> 34161[label="",style="solid", color="black", weight=3];
34120 -> 33885[label="",style="dashed", color="red", weight=0];
34120[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34120 -> 34162[label="",style="dashed", color="magenta", weight=3];
34120 -> 34163[label="",style="dashed", color="magenta", weight=3];
34119[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos wv1928))) == GT)",fontsize=16,color="black",shape="triangle"];34119 -> 34164[label="",style="solid", color="black", weight=3];
34122 -> 33885[label="",style="dashed", color="red", weight=0];
34122[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34122 -> 34165[label="",style="dashed", color="magenta", weight=3];
34122 -> 34166[label="",style="dashed", color="magenta", weight=3];
34121[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos wv1929))) == GT)",fontsize=16,color="black",shape="triangle"];34121 -> 34167[label="",style="solid", color="black", weight=3];
34124 -> 33885[label="",style="dashed", color="red", weight=0];
34124[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34124 -> 34168[label="",style="dashed", color="magenta", weight=3];
34124 -> 34169[label="",style="dashed", color="magenta", weight=3];
34123[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos wv1930))) == GT)",fontsize=16,color="black",shape="triangle"];34123 -> 34170[label="",style="solid", color="black", weight=3];
34126 -> 33885[label="",style="dashed", color="red", weight=0];
34126[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34126 -> 34171[label="",style="dashed", color="magenta", weight=3];
34126 -> 34172[label="",style="dashed", color="magenta", weight=3];
34125[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt (Pos wv410) (Pos wv1931))) == GT)",fontsize=16,color="black",shape="triangle"];34125 -> 34173[label="",style="solid", color="black", weight=3];
34128 -> 33885[label="",style="dashed", color="red", weight=0];
34128[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34128 -> 34174[label="",style="dashed", color="magenta", weight=3];
34128 -> 34175[label="",style="dashed", color="magenta", weight=3];
34127[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (primMulInt (Neg wv410) (Pos wv1932))) == GT)",fontsize=16,color="black",shape="triangle"];34127 -> 34176[label="",style="solid", color="black", weight=3];
34130 -> 33885[label="",style="dashed", color="red", weight=0];
34130[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34130 -> 34177[label="",style="dashed", color="magenta", weight=3];
34130 -> 34178[label="",style="dashed", color="magenta", weight=3];
34129[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt (Pos wv410) (Pos wv1933))) == GT)",fontsize=16,color="black",shape="triangle"];34129 -> 34179[label="",style="solid", color="black", weight=3];
34132 -> 33885[label="",style="dashed", color="red", weight=0];
34132[label="primMulNat (Succ Zero) (Succ (Succ Zero))",fontsize=16,color="magenta"];34132 -> 34180[label="",style="dashed", color="magenta", weight=3];
34132 -> 34181[label="",style="dashed", color="magenta", weight=3];
34131[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (primMulInt (Neg wv410) (Pos wv1934))) == GT)",fontsize=16,color="black",shape="triangle"];34131 -> 34182[label="",style="solid", color="black", weight=3];
34133[label="wv189400",fontsize=16,color="green",shape="box"];34134[label="wv191800",fontsize=16,color="green",shape="box"];34135[label="Succ Zero",fontsize=16,color="green",shape="box"];34136[label="Succ Zero",fontsize=16,color="green",shape="box"];34137[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (Pos (primMulNat wv410 wv1919))) == GT)",fontsize=16,color="black",shape="box"];34137 -> 34183[label="",style="solid", color="black", weight=3];
34138[label="Succ Zero",fontsize=16,color="green",shape="box"];34139[label="Succ Zero",fontsize=16,color="green",shape="box"];34140[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Pos wv310) (Neg (primMulNat wv410 wv1920))) == GT)",fontsize=16,color="black",shape="box"];34140 -> 34184[label="",style="solid", color="black", weight=3];
34141[label="Succ Zero",fontsize=16,color="green",shape="box"];34142[label="Succ Zero",fontsize=16,color="green",shape="box"];34143[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (Pos (primMulNat wv410 wv1921))) == GT)",fontsize=16,color="black",shape="box"];34143 -> 34185[label="",style="solid", color="black", weight=3];
34144[label="Succ Zero",fontsize=16,color="green",shape="box"];34145[label="Succ Zero",fontsize=16,color="green",shape="box"];34146[label="not (primCmpInt (Pos (Succ wv19120)) (primMulInt (Neg wv310) (Neg (primMulNat wv410 wv1922))) == GT)",fontsize=16,color="black",shape="box"];34146 -> 34186[label="",style="solid", color="black", weight=3];
34147[label="Succ Zero",fontsize=16,color="green",shape="box"];34148[label="Succ Zero",fontsize=16,color="green",shape="box"];34149[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (Pos (primMulNat wv410 wv1923))) == GT)",fontsize=16,color="black",shape="box"];34149 -> 34187[label="",style="solid", color="black", weight=3];
34150[label="Succ Zero",fontsize=16,color="green",shape="box"];34151[label="Succ Zero",fontsize=16,color="green",shape="box"];34152[label="not (primCmpInt (Pos Zero) (primMulInt (Pos wv310) (Neg (primMulNat wv410 wv1924))) == GT)",fontsize=16,color="black",shape="box"];34152 -> 34188[label="",style="solid", color="black", weight=3];
34153[label="Succ Zero",fontsize=16,color="green",shape="box"];34154[label="Succ Zero",fontsize=16,color="green",shape="box"];34155[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (Pos (primMulNat wv410 wv1925))) == GT)",fontsize=16,color="black",shape="box"];34155 -> 34189[label="",style="solid", color="black", weight=3];
34156[label="Succ Zero",fontsize=16,color="green",shape="box"];34157[label="Succ Zero",fontsize=16,color="green",shape="box"];34158[label="not (primCmpInt (Pos Zero) (primMulInt (Neg wv310) (Neg (primMulNat wv410 wv1926))) == GT)",fontsize=16,color="black",shape="box"];34158 -> 34190[label="",style="solid", color="black", weight=3];
34159[label="Succ Zero",fontsize=16,color="green",shape="box"];34160[label="Succ Zero",fontsize=16,color="green",shape="box"];34161[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (Pos (primMulNat wv410 wv1927))) == GT)",fontsize=16,color="black",shape="box"];34161 -> 34191[label="",style="solid", color="black", weight=3];
34162[label="Succ Zero",fontsize=16,color="green",shape="box"];34163[label="Succ Zero",fontsize=16,color="green",shape="box"];34164[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Pos wv310) (Neg (primMulNat wv410 wv1928))) == GT)",fontsize=16,color="black",shape="box"];34164 -> 34192[label="",style="solid", color="black", weight=3];
34165[label="Succ Zero",fontsize=16,color="green",shape="box"];34166[label="Succ Zero",fontsize=16,color="green",shape="box"];34167[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (Pos (primMulNat wv410 wv1929))) == GT)",fontsize=16,color="black",shape="box"];34167 -> 34193[label="",style="solid", color="black", weight=3];
34168[label="Succ Zero",fontsize=16,color="green",shape="box"];34169[label="Succ Zero",fontsize=16,color="green",shape="box"];34170[label="not (primCmpInt (Neg (Succ wv19160)) (primMulInt (Neg wv310) (Neg (primMulNat wv410 wv1930))) == GT)",fontsize=16,color="black",shape="box"];34170 -> 34194[label="",style="solid", color="black", weight=3];
34171[label="Succ Zero",fontsize=16,color="green",shape="box"];34172[label="Succ Zero",fontsize=16,color="green",shape="box"];34173[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (Pos (primMulNat wv410 wv1931))) == GT)",fontsize=16,color="black",shape="box"];34173 -> 34195[label="",style="solid", color="black", weight=3];
34174[label="Succ Zero",fontsize=16,color="green",shape="box"];34175[label="Succ Zero",fontsize=16,color="green",shape="box"];34176[label="not (primCmpInt (Neg Zero) (primMulInt (Pos wv310) (Neg (primMulNat wv410 wv1932))) == GT)",fontsize=16,color="black",shape="box"];34176 -> 34196[label="",style="solid", color="black", weight=3];
34177[label="Succ Zero",fontsize=16,color="green",shape="box"];34178[label="Succ Zero",fontsize=16,color="green",shape="box"];34179[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (Pos (primMulNat wv410 wv1933))) == GT)",fontsize=16,color="black",shape="box"];34179 -> 34197[label="",style="solid", color="black", weight=3];
34180[label="Succ Zero",fontsize=16,color="green",shape="box"];34181[label="Succ Zero",fontsize=16,color="green",shape="box"];34182[label="not (primCmpInt (Neg Zero) (primMulInt (Neg wv310) (Neg (primMulNat wv410 wv1934))) == GT)",fontsize=16,color="black",shape="box"];34182 -> 34198[label="",style="solid", color="black", weight=3];
34183[label="not (primCmpInt (Pos (Succ wv19120)) (Pos (primMulNat wv310 (primMulNat wv410 wv1919))) == GT)",fontsize=16,color="black",shape="triangle"];34183 -> 34199[label="",style="solid", color="black", weight=3];
34184[label="not (primCmpInt (Pos (Succ wv19120)) (Neg (primMulNat wv310 (primMulNat wv410 wv1920))) == GT)",fontsize=16,color="black",shape="triangle"];34184 -> 34200[label="",style="solid", color="black", weight=3];
34185 -> 34184[label="",style="dashed", color="red", weight=0];
34185[label="not (primCmpInt (Pos (Succ wv19120)) (Neg (primMulNat wv310 (primMulNat wv410 wv1921))) == GT)",fontsize=16,color="magenta"];34185 -> 34201[label="",style="dashed", color="magenta", weight=3];
34185 -> 34202[label="",style="dashed", color="magenta", weight=3];
34185 -> 34203[label="",style="dashed", color="magenta", weight=3];
34186 -> 34183[label="",style="dashed", color="red", weight=0];
34186[label="not (primCmpInt (Pos (Succ wv19120)) (Pos (primMulNat wv310 (primMulNat wv410 wv1922))) == GT)",fontsize=16,color="magenta"];34186 -> 34204[label="",style="dashed", color="magenta", weight=3];
34186 -> 34205[label="",style="dashed", color="magenta", weight=3];
34186 -> 34206[label="",style="dashed", color="magenta", weight=3];
34187 -> 34355[label="",style="dashed", color="red", weight=0];
34187[label="not (primCmpInt (Pos Zero) (Pos (primMulNat wv310 (primMulNat wv410 wv1923))) == GT)",fontsize=16,color="magenta"];34187 -> 34356[label="",style="dashed", color="magenta", weight=3];
34188 -> 34373[label="",style="dashed", color="red", weight=0];
34188[label="not (primCmpInt (Pos Zero) (Neg (primMulNat wv310 (primMulNat wv410 wv1924))) == GT)",fontsize=16,color="magenta"];34188 -> 34374[label="",style="dashed", color="magenta", weight=3];
34189 -> 34373[label="",style="dashed", color="red", weight=0];
34189[label="not (primCmpInt (Pos Zero) (Neg (primMulNat wv310 (primMulNat wv410 wv1925))) == GT)",fontsize=16,color="magenta"];34189 -> 34375[label="",style="dashed", color="magenta", weight=3];
34190 -> 34355[label="",style="dashed", color="red", weight=0];
34190[label="not (primCmpInt (Pos Zero) (Pos (primMulNat wv310 (primMulNat wv410 wv1926))) == GT)",fontsize=16,color="magenta"];34190 -> 34357[label="",style="dashed", color="magenta", weight=3];
34191[label="not (primCmpInt (Neg (Succ wv19160)) (Pos (primMulNat wv310 (primMulNat wv410 wv1927))) == GT)",fontsize=16,color="black",shape="triangle"];34191 -> 34217[label="",style="solid", color="black", weight=3];
34192[label="not (primCmpInt (Neg (Succ wv19160)) (Neg (primMulNat wv310 (primMulNat wv410 wv1928))) == GT)",fontsize=16,color="black",shape="triangle"];34192 -> 34218[label="",style="solid", color="black", weight=3];
34193 -> 34192[label="",style="dashed", color="red", weight=0];
34193[label="not (primCmpInt (Neg (Succ wv19160)) (Neg (primMulNat wv310 (primMulNat wv410 wv1929))) == GT)",fontsize=16,color="magenta"];34193 -> 34219[label="",style="dashed", color="magenta", weight=3];
34193 -> 34220[label="",style="dashed", color="magenta", weight=3];
34193 -> 34221[label="",style="dashed", color="magenta", weight=3];
34194 -> 34191[label="",style="dashed", color="red", weight=0];
34194[label="not (primCmpInt (Neg (Succ wv19160)) (Pos (primMulNat wv310 (primMulNat wv410 wv1930))) == GT)",fontsize=16,color="magenta"];34194 -> 34222[label="",style="dashed", color="magenta", weight=3];
34194 -> 34223[label="",style="dashed", color="magenta", weight=3];
34194 -> 34224[label="",style="dashed", color="magenta", weight=3];
34195 -> 34404[label="",style="dashed", color="red", weight=0];
34195[label="not (primCmpInt (Neg Zero) (Pos (primMulNat wv310 (primMulNat wv410 wv1931))) == GT)",fontsize=16,color="magenta"];34195 -> 34405[label="",style="dashed", color="magenta", weight=3];
34196 -> 34433[label="",style="dashed", color="red", weight=0];
34196[label="not (primCmpInt (Neg Zero) (Neg (primMulNat wv310 (primMulNat wv410 wv1932))) == GT)",fontsize=16,color="magenta"];34196 -> 34434[label="",style="dashed", color="magenta", weight=3];
34197 -> 34433[label="",style="dashed", color="red", weight=0];
34197[label="not (primCmpInt (Neg Zero) (Neg (primMulNat wv310 (primMulNat wv410 wv1933))) == GT)",fontsize=16,color="magenta"];34197 -> 34435[label="",style="dashed", color="magenta", weight=3];
34198 -> 34404[label="",style="dashed", color="red", weight=0];
34198[label="not (primCmpInt (Neg Zero) (Pos (primMulNat wv310 (primMulNat wv410 wv1934))) == GT)",fontsize=16,color="magenta"];34198 -> 34406[label="",style="dashed", color="magenta", weight=3];
34199 -> 34460[label="",style="dashed", color="red", weight=0];
34199[label="not (primCmpNat (Succ wv19120) (primMulNat wv310 (primMulNat wv410 wv1919)) == GT)",fontsize=16,color="magenta"];34199 -> 34461[label="",style="dashed", color="magenta", weight=3];
34200[label="not (GT == GT)",fontsize=16,color="black",shape="triangle"];34200 -> 34237[label="",style="solid", color="black", weight=3];
34201[label="wv410",fontsize=16,color="green",shape="box"];34202[label="wv1921",fontsize=16,color="green",shape="box"];34203[label="wv310",fontsize=16,color="green",shape="box"];34204[label="wv1922",fontsize=16,color="green",shape="box"];34205[label="wv410",fontsize=16,color="green",shape="box"];34206[label="wv310",fontsize=16,color="green",shape="box"];34356[label="primMulNat wv310 (primMulNat wv410 wv1923)",fontsize=16,color="burlywood",shape="triangle"];34706[label="wv310/Succ wv3100",fontsize=10,color="white",style="solid",shape="box"];34356 -> 34706[label="",style="solid", color="burlywood", weight=9];
34706 -> 34366[label="",style="solid", color="burlywood", weight=3];
34707[label="wv310/Zero",fontsize=10,color="white",style="solid",shape="box"];34356 -> 34707[label="",style="solid", color="burlywood", weight=9];
34707 -> 34367[label="",style="solid", color="burlywood", weight=3];
34355[label="not (primCmpInt (Pos Zero) (Pos wv1935) == GT)",fontsize=16,color="burlywood",shape="triangle"];34708[label="wv1935/Succ wv19350",fontsize=10,color="white",style="solid",shape="box"];34355 -> 34708[label="",style="solid", color="burlywood", weight=9];
34708 -> 34368[label="",style="solid", color="burlywood", weight=3];
34709[label="wv1935/Zero",fontsize=10,color="white",style="solid",shape="box"];34355 -> 34709[label="",style="solid", color="burlywood", weight=9];
34709 -> 34369[label="",style="solid", color="burlywood", weight=3];
34374 -> 34356[label="",style="dashed", color="red", weight=0];
34374[label="primMulNat wv310 (primMulNat wv410 wv1924)",fontsize=16,color="magenta"];34374 -> 34384[label="",style="dashed", color="magenta", weight=3];
34374 -> 34385[label="",style="dashed", color="magenta", weight=3];
34373[label="not (primCmpInt (Pos Zero) (Neg wv1938) == GT)",fontsize=16,color="burlywood",shape="triangle"];34711[label="wv1938/Succ wv19380",fontsize=10,color="white",style="solid",shape="box"];34373 -> 34711[label="",style="solid", color="burlywood", weight=9];
34711 -> 34386[label="",style="solid", color="burlywood", weight=3];
34712[label="wv1938/Zero",fontsize=10,color="white",style="solid",shape="box"];34373 -> 34712[label="",style="solid", color="burlywood", weight=9];
34712 -> 34387[label="",style="solid", color="burlywood", weight=3];
34375 -> 34356[label="",style="dashed", color="red", weight=0];
34375[label="primMulNat wv310 (primMulNat wv410 wv1925)",fontsize=16,color="magenta"];34375 -> 34388[label="",style="dashed", color="magenta", weight=3];
34375 -> 34389[label="",style="dashed", color="magenta", weight=3];
34357 -> 34356[label="",style="dashed", color="red", weight=0];
34357[label="primMulNat wv310 (primMulNat wv410 wv1926)",fontsize=16,color="magenta"];34357 -> 34370[label="",style="dashed", color="magenta", weight=3];
34357 -> 34371[label="",style="dashed", color="magenta", weight=3];
34357 -> 34372[label="",style="dashed", color="magenta", weight=3];
34217[label="not (LT == GT)",fontsize=16,color="black",shape="triangle"];34217 -> 34246[label="",style="solid", color="black", weight=3];
34218 -> 34487[label="",style="dashed", color="red", weight=0];
34218[label="not (primCmpNat (primMulNat wv310 (primMulNat wv410 wv1928)) (Succ wv19160) == GT)",fontsize=16,color="magenta"];34218 -> 34488[label="",style="dashed", color="magenta", weight=3];
34219[label="wv410",fontsize=16,color="green",shape="box"];34220[label="wv310",fontsize=16,color="green",shape="box"];34221[label="wv1929",fontsize=16,color="green",shape="box"];34222[label="wv410",fontsize=16,color="green",shape="box"];34223[label="wv1930",fontsize=16,color="green",shape="box"];34224[label="wv310",fontsize=16,color="green",shape="box"];34405 -> 34356[label="",style="dashed", color="red", weight=0];
34405[label="primMulNat wv310 (primMulNat wv410 wv1931)",fontsize=16,color="magenta"];34405 -> 34415[label="",style="dashed", color="magenta", weight=3];
34404[label="not (primCmpInt (Neg Zero) (Pos wv1941) == GT)",fontsize=16,color="burlywood",shape="triangle"];34717[label="wv1941/Succ wv19410",fontsize=10,color="white",style="solid",shape="box"];34404 -> 34717[label="",style="solid", color="burlywood", weight=9];
34717 -> 34416[label="",style="solid", color="burlywood", weight=3];
34718[label="wv1941/Zero",fontsize=10,color="white",style="solid",shape="box"];34404 -> 34718[label="",style="solid", color="burlywood", weight=9];
34718 -> 34417[label="",style="solid", color="burlywood", weight=3];
34434 -> 34356[label="",style="dashed", color="red", weight=0];
34434[label="primMulNat wv310 (primMulNat wv410 wv1932)",fontsize=16,color="magenta"];34434 -> 34444[label="",style="dashed", color="magenta", weight=3];
34434 -> 34445[label="",style="dashed", color="magenta", weight=3];
34433[label="not (primCmpInt (Neg Zero) (Neg wv1944) == GT)",fontsize=16,color="burlywood",shape="triangle"];34720[label="wv1944/Succ wv19440",fontsize=10,color="white",style="solid",shape="box"];34433 -> 34720[label="",style="solid", color="burlywood", weight=9];
34720 -> 34446[label="",style="solid", color="burlywood", weight=3];
34721[label="wv1944/Zero",fontsize=10,color="white",style="solid",shape="box"];34433 -> 34721[label="",style="solid", color="burlywood", weight=9];
34721 -> 34447[label="",style="solid", color="burlywood", weight=3];
34435 -> 34356[label="",style="dashed", color="red", weight=0];
34435[label="primMulNat wv310 (primMulNat wv410 wv1933)",fontsize=16,color="magenta"];34435 -> 34448[label="",style="dashed", color="magenta", weight=3];
34435 -> 34449[label="",style="dashed", color="magenta", weight=3];
34406 -> 34356[label="",style="dashed", color="red", weight=0];
34406[label="primMulNat wv310 (primMulNat wv410 wv1934)",fontsize=16,color="magenta"];34406 -> 34418[label="",style="dashed", color="magenta", weight=3];
34406 -> 34419[label="",style="dashed", color="magenta", weight=3];
34406 -> 34420[label="",style="dashed", color="magenta", weight=3];
34461 -> 34356[label="",style="dashed", color="red", weight=0];
34461[label="primMulNat wv310 (primMulNat wv410 wv1919)",fontsize=16,color="magenta"];34461 -> 34470[label="",style="dashed", color="magenta", weight=3];
34460[label="not (primCmpNat (Succ wv19120) wv1947 == GT)",fontsize=16,color="burlywood",shape="triangle"];34725[label="wv1947/Succ wv19470",fontsize=10,color="white",style="solid",shape="box"];34460 -> 34725[label="",style="solid", color="burlywood", weight=9];
34725 -> 34471[label="",style="solid", color="burlywood", weight=3];
34726[label="wv1947/Zero",fontsize=10,color="white",style="solid",shape="box"];34460 -> 34726[label="",style="solid", color="burlywood", weight=9];
34726 -> 34472[label="",style="solid", color="burlywood", weight=3];
34237[label="not True",fontsize=16,color="black",shape="box"];34237 -> 34261[label="",style="solid", color="black", weight=3];
34366[label="primMulNat (Succ wv3100) (primMulNat wv410 wv1923)",fontsize=16,color="burlywood",shape="box"];34727[label="wv410/Succ wv4100",fontsize=10,color="white",style="solid",shape="box"];34366 -> 34727[label="",style="solid", color="burlywood", weight=9];
34727 -> 34390[label="",style="solid", color="burlywood", weight=3];
34728[label="wv410/Zero",fontsize=10,color="white",style="solid",shape="box"];34366 -> 34728[label="",style="solid", color="burlywood", weight=9];
34728 -> 34391[label="",style="solid", color="burlywood", weight=3];
34367[label="primMulNat Zero (primMulNat wv410 wv1923)",fontsize=16,color="burlywood",shape="box"];34729[label="wv410/Succ wv4100",fontsize=10,color="white",style="solid",shape="box"];34367 -> 34729[label="",style="solid", color="burlywood", weight=9];
34729 -> 34392[label="",style="solid", color="burlywood", weight=3];
34730[label="wv410/Zero",fontsize=10,color="white",style="solid",shape="box"];34367 -> 34730[label="",style="solid", color="burlywood", weight=9];
34730 -> 34393[label="",style="solid", color="burlywood", weight=3];
34368[label="not (primCmpInt (Pos Zero) (Pos (Succ wv19350)) == GT)",fontsize=16,color="black",shape="box"];34368 -> 34394[label="",style="solid", color="black", weight=3];
34369[label="not (primCmpInt (Pos Zero) (Pos Zero) == GT)",fontsize=16,color="black",shape="box"];34369 -> 34395[label="",style="solid", color="black", weight=3];
34384[label="wv410",fontsize=16,color="green",shape="box"];34385[label="wv1924",fontsize=16,color="green",shape="box"];34386[label="not (primCmpInt (Pos Zero) (Neg (Succ wv19380)) == GT)",fontsize=16,color="black",shape="box"];34386 -> 34421[label="",style="solid", color="black", weight=3];
34387[label="not (primCmpInt (Pos Zero) (Neg Zero) == GT)",fontsize=16,color="black",shape="box"];34387 -> 34422[label="",style="solid", color="black", weight=3];
34388[label="wv1925",fontsize=16,color="green",shape="box"];34389[label="wv310",fontsize=16,color="green",shape="box"];34370[label="wv410",fontsize=16,color="green",shape="box"];34371[label="wv1926",fontsize=16,color="green",shape="box"];34372[label="wv310",fontsize=16,color="green",shape="box"];34246[label="not False",fontsize=16,color="black",shape="triangle"];34246 -> 34278[label="",style="solid", color="black", weight=3];
34488 -> 34356[label="",style="dashed", color="red", weight=0];
34488[label="primMulNat wv310 (primMulNat wv410 wv1928)",fontsize=16,color="magenta"];34488 -> 34499[label="",style="dashed", color="magenta", weight=3];
34488 -> 34500[label="",style="dashed", color="magenta", weight=3];
34487[label="not (primCmpNat wv1950 (Succ wv19160) == GT)",fontsize=16,color="burlywood",shape="triangle"];34732[label="wv1950/Succ wv19500",fontsize=10,color="white",style="solid",shape="box"];34487 -> 34732[label="",style="solid", color="burlywood", weight=9];
34732 -> 34501[label="",style="solid", color="burlywood", weight=3];
34733[label="wv1950/Zero",fontsize=10,color="white",style="solid",shape="box"];34487 -> 34733[label="",style="solid", color="burlywood", weight=9];
34733 -> 34502[label="",style="solid", color="burlywood", weight=3];
34415[label="wv1931",fontsize=16,color="green",shape="box"];34416[label="not (primCmpInt (Neg Zero) (Pos (Succ wv19410)) == GT)",fontsize=16,color="black",shape="box"];34416 -> 34450[label="",style="solid", color="black", weight=3];
34417[label="not (primCmpInt (Neg Zero) (Pos Zero) == GT)",fontsize=16,color="black",shape="box"];34417 -> 34451[label="",style="solid", color="black", weight=3];
34444[label="wv410",fontsize=16,color="green",shape="box"];34445[label="wv1932",fontsize=16,color="green",shape="box"];34446[label="not (primCmpInt (Neg Zero) (Neg (Succ wv19440)) == GT)",fontsize=16,color="black",shape="box"];34446 -> 34473[label="",style="solid", color="black", weight=3];
34447[label="not (primCmpInt (Neg Zero) (Neg Zero) == GT)",fontsize=16,color="black",shape="box"];34447 -> 34474[label="",style="solid", color="black", weight=3];
34448[label="wv1933",fontsize=16,color="green",shape="box"];34449[label="wv310",fontsize=16,color="green",shape="box"];34418[label="wv410",fontsize=16,color="green",shape="box"];34419[label="wv1934",fontsize=16,color="green",shape="box"];34420[label="wv310",fontsize=16,color="green",shape="box"];34470[label="wv1919",fontsize=16,color="green",shape="box"];34471[label="not (primCmpNat (Succ wv19120) (Succ wv19470) == GT)",fontsize=16,color="black",shape="box"];34471 -> 34503[label="",style="solid", color="black", weight=3];
34472[label="not (primCmpNat (Succ wv19120) Zero == GT)",fontsize=16,color="black",shape="box"];34472 -> 34504[label="",style="solid", color="black", weight=3];
34261[label="False",fontsize=16,color="green",shape="box"];34390[label="primMulNat (Succ wv3100) (primMulNat (Succ wv4100) wv1923)",fontsize=16,color="burlywood",shape="box"];34734[label="wv1923/Succ wv19230",fontsize=10,color="white",style="solid",shape="box"];34390 -> 34734[label="",style="solid", color="burlywood", weight=9];
34734 -> 34423[label="",style="solid", color="burlywood", weight=3];
34735[label="wv1923/Zero",fontsize=10,color="white",style="solid",shape="box"];34390 -> 34735[label="",style="solid", color="burlywood", weight=9];
34735 -> 34424[label="",style="solid", color="burlywood", weight=3];
34391[label="primMulNat (Succ wv3100) (primMulNat Zero wv1923)",fontsize=16,color="burlywood",shape="box"];34736[label="wv1923/Succ wv19230",fontsize=10,color="white",style="solid",shape="box"];34391 -> 34736[label="",style="solid", color="burlywood", weight=9];
34736 -> 34425[label="",style="solid", color="burlywood", weight=3];
34737[label="wv1923/Zero",fontsize=10,color="white",style="solid",shape="box"];34391 -> 34737[label="",style="solid", color="burlywood", weight=9];
34737 -> 34426[label="",style="solid", color="burlywood", weight=3];
34392[label="primMulNat Zero (primMulNat (Succ wv4100) wv1923)",fontsize=16,color="burlywood",shape="box"];34738[label="wv1923/Succ wv19230",fontsize=10,color="white",style="solid",shape="box"];34392 -> 34738[label="",style="solid", color="burlywood", weight=9];
34738 -> 34427[label="",style="solid", color="burlywood", weight=3];
34739[label="wv1923/Zero",fontsize=10,color="white",style="solid",shape="box"];34392 -> 34739[label="",style="solid", color="burlywood", weight=9];
34739 -> 34428[label="",style="solid", color="burlywood", weight=3];
34393[label="primMulNat Zero (primMulNat Zero wv1923)",fontsize=16,color="burlywood",shape="box"];34740[label="wv1923/Succ wv19230",fontsize=10,color="white",style="solid",shape="box"];34393 -> 34740[label="",style="solid", color="burlywood", weight=9];
34740 -> 34429[label="",style="solid", color="burlywood", weight=3];
34741[label="wv1923/Zero",fontsize=10,color="white",style="solid",shape="box"];34393 -> 34741[label="",style="solid", color="burlywood", weight=9];
34741 -> 34430[label="",style="solid", color="burlywood", weight=3];
34394 -> 34487[label="",style="dashed", color="red", weight=0];
34394[label="not (primCmpNat Zero (Succ wv19350) == GT)",fontsize=16,color="magenta"];34394 -> 34489[label="",style="dashed", color="magenta", weight=3];
34394 -> 34490[label="",style="dashed", color="magenta", weight=3];
34395[label="not (EQ == GT)",fontsize=16,color="black",shape="triangle"];34395 -> 34432[label="",style="solid", color="black", weight=3];
34421 -> 34200[label="",style="dashed", color="red", weight=0];
34421[label="not (GT == GT)",fontsize=16,color="magenta"];34422 -> 34395[label="",style="dashed", color="red", weight=0];
34422[label="not (EQ == GT)",fontsize=16,color="magenta"];34278[label="True",fontsize=16,color="green",shape="box"];34499[label="wv410",fontsize=16,color="green",shape="box"];34500[label="wv1928",fontsize=16,color="green",shape="box"];34501[label="not (primCmpNat (Succ wv19500) (Succ wv19160) == GT)",fontsize=16,color="black",shape="box"];34501 -> 34511[label="",style="solid", color="black", weight=3];
34502[label="not (primCmpNat Zero (Succ wv19160) == GT)",fontsize=16,color="black",shape="box"];34502 -> 34512[label="",style="solid", color="black", weight=3];
34450 -> 34217[label="",style="dashed", color="red", weight=0];
34450[label="not (LT == GT)",fontsize=16,color="magenta"];34451 -> 34395[label="",style="dashed", color="red", weight=0];
34451[label="not (EQ == GT)",fontsize=16,color="magenta"];34473 -> 34460[label="",style="dashed", color="red", weight=0];
34473[label="not (primCmpNat (Succ wv19440) Zero == GT)",fontsize=16,color="magenta"];34473 -> 34505[label="",style="dashed", color="magenta", weight=3];
34473 -> 34506[label="",style="dashed", color="magenta", weight=3];
34474 -> 34395[label="",style="dashed", color="red", weight=0];
34474[label="not (EQ == GT)",fontsize=16,color="magenta"];34503[label="not (primCmpNat wv19120 wv19470 == GT)",fontsize=16,color="burlywood",shape="triangle"];34749[label="wv19120/Succ wv191200",fontsize=10,color="white",style="solid",shape="box"];34503 -> 34749[label="",style="solid", color="burlywood", weight=9];
34749 -> 34513[label="",style="solid", color="burlywood", weight=3];
34750[label="wv19120/Zero",fontsize=10,color="white",style="solid",shape="box"];34503 -> 34750[label="",style="solid", color="burlywood", weight=9];
34750 -> 34514[label="",style="solid", color="burlywood", weight=3];
34504 -> 34200[label="",style="dashed", color="red", weight=0];
34504[label="not (GT == GT)",fontsize=16,color="magenta"];34423[label="primMulNat (Succ wv3100) (primMulNat (Succ wv4100) (Succ wv19230))",fontsize=16,color="black",shape="box"];34423 -> 34452[label="",style="solid", color="black", weight=3];
34424[label="primMulNat (Succ wv3100) (primMulNat (Succ wv4100) Zero)",fontsize=16,color="black",shape="box"];34424 -> 34453[label="",style="solid", color="black", weight=3];
34425[label="primMulNat (Succ wv3100) (primMulNat Zero (Succ wv19230))",fontsize=16,color="black",shape="box"];34425 -> 34454[label="",style="solid", color="black", weight=3];
34426[label="primMulNat (Succ wv3100) (primMulNat Zero Zero)",fontsize=16,color="black",shape="box"];34426 -> 34455[label="",style="solid", color="black", weight=3];
34427[label="primMulNat Zero (primMulNat (Succ wv4100) (Succ wv19230))",fontsize=16,color="black",shape="box"];34427 -> 34456[label="",style="solid", color="black", weight=3];
34428[label="primMulNat Zero (primMulNat (Succ wv4100) Zero)",fontsize=16,color="black",shape="box"];34428 -> 34457[label="",style="solid", color="black", weight=3];
34429[label="primMulNat Zero (primMulNat Zero (Succ wv19230))",fontsize=16,color="black",shape="box"];34429 -> 34458[label="",style="solid", color="black", weight=3];
34430[label="primMulNat Zero (primMulNat Zero Zero)",fontsize=16,color="black",shape="box"];34430 -> 34459[label="",style="solid", color="black", weight=3];
34489[label="Zero",fontsize=16,color="green",shape="box"];34490[label="wv19350",fontsize=16,color="green",shape="box"];34432 -> 34246[label="",style="dashed", color="red", weight=0];
34432[label="not False",fontsize=16,color="magenta"];34511 -> 34503[label="",style="dashed", color="red", weight=0];
34511[label="not (primCmpNat wv19500 wv19160 == GT)",fontsize=16,color="magenta"];34511 -> 34515[label="",style="dashed", color="magenta", weight=3];
34511 -> 34516[label="",style="dashed", color="magenta", weight=3];
34512 -> 34217[label="",style="dashed", color="red", weight=0];
34512[label="not (LT == GT)",fontsize=16,color="magenta"];34505[label="wv19440",fontsize=16,color="green",shape="box"];34506[label="Zero",fontsize=16,color="green",shape="box"];34513[label="not (primCmpNat (Succ wv191200) wv19470 == GT)",fontsize=16,color="burlywood",shape="box"];34755[label="wv19470/Succ wv194700",fontsize=10,color="white",style="solid",shape="box"];34513 -> 34755[label="",style="solid", color="burlywood", weight=9];
34755 -> 34517[label="",style="solid", color="burlywood", weight=3];
34756[label="wv19470/Zero",fontsize=10,color="white",style="solid",shape="box"];34513 -> 34756[label="",style="solid", color="burlywood", weight=9];
34756 -> 34518[label="",style="solid", color="burlywood", weight=3];
34514[label="not (primCmpNat Zero wv19470 == GT)",fontsize=16,color="burlywood",shape="box"];34757[label="wv19470/Succ wv194700",fontsize=10,color="white",style="solid",shape="box"];34514 -> 34757[label="",style="solid", color="burlywood", weight=9];
34757 -> 34519[label="",style="solid", color="burlywood", weight=3];
34758[label="wv19470/Zero",fontsize=10,color="white",style="solid",shape="box"];34514 -> 34758[label="",style="solid", color="burlywood", weight=9];
34758 -> 34520[label="",style="solid", color="burlywood", weight=3];
34452 -> 33902[label="",style="dashed", color="red", weight=0];
34452[label="primMulNat (Succ wv3100) (primPlusNat (primMulNat wv4100 (Succ wv19230)) (Succ wv19230))",fontsize=16,color="magenta"];34452 -> 34475[label="",style="dashed", color="magenta", weight=3];
34452 -> 34476[label="",style="dashed", color="magenta", weight=3];
34452 -> 34477[label="",style="dashed", color="magenta", weight=3];
34453 -> 33886[label="",style="dashed", color="red", weight=0];
34453[label="primMulNat (Succ wv3100) Zero",fontsize=16,color="magenta"];34453 -> 34478[label="",style="dashed", color="magenta", weight=3];
34454 -> 33886[label="",style="dashed", color="red", weight=0];
34454[label="primMulNat (Succ wv3100) Zero",fontsize=16,color="magenta"];34454 -> 34479[label="",style="dashed", color="magenta", weight=3];
34455 -> 33886[label="",style="dashed", color="red", weight=0];
34455[label="primMulNat (Succ wv3100) Zero",fontsize=16,color="magenta"];34455 -> 34480[label="",style="dashed", color="magenta", weight=3];
34456 -> 33902[label="",style="dashed", color="red", weight=0];
34456[label="primMulNat Zero (primPlusNat (primMulNat wv4100 (Succ wv19230)) (Succ wv19230))",fontsize=16,color="magenta"];34456 -> 34481[label="",style="dashed", color="magenta", weight=3];
34456 -> 34482[label="",style="dashed", color="magenta", weight=3];
34456 -> 34483[label="",style="dashed", color="magenta", weight=3];
34457 -> 33886[label="",style="dashed", color="red", weight=0];
34457[label="primMulNat Zero Zero",fontsize=16,color="magenta"];34457 -> 34484[label="",style="dashed", color="magenta", weight=3];
34458 -> 33886[label="",style="dashed", color="red", weight=0];
34458[label="primMulNat Zero Zero",fontsize=16,color="magenta"];34458 -> 34485[label="",style="dashed", color="magenta", weight=3];
34459 -> 33886[label="",style="dashed", color="red", weight=0];
34459[label="primMulNat Zero Zero",fontsize=16,color="magenta"];34459 -> 34486[label="",style="dashed", color="magenta", weight=3];
34515[label="wv19500",fontsize=16,color="green",shape="box"];34516[label="wv19160",fontsize=16,color="green",shape="box"];34517[label="not (primCmpNat (Succ wv191200) (Succ wv194700) == GT)",fontsize=16,color="black",shape="box"];34517 -> 34521[label="",style="solid", color="black", weight=3];
34518[label="not (primCmpNat (Succ wv191200) Zero == GT)",fontsize=16,color="black",shape="box"];34518 -> 34522[label="",style="solid", color="black", weight=3];
34519[label="not (primCmpNat Zero (Succ wv194700) == GT)",fontsize=16,color="black",shape="box"];34519 -> 34523[label="",style="solid", color="black", weight=3];
34520[label="not (primCmpNat Zero Zero == GT)",fontsize=16,color="black",shape="box"];34520 -> 34524[label="",style="solid", color="black", weight=3];
34475[label="Succ wv3100",fontsize=16,color="green",shape="box"];34476[label="Succ wv19230",fontsize=16,color="green",shape="box"];34477 -> 33885[label="",style="dashed", color="red", weight=0];
34477[label="primMulNat wv4100 (Succ wv19230)",fontsize=16,color="magenta"];34477 -> 34507[label="",style="dashed", color="magenta", weight=3];
34477 -> 34508[label="",style="dashed", color="magenta", weight=3];
34478[label="Succ wv3100",fontsize=16,color="green",shape="box"];34479[label="Succ wv3100",fontsize=16,color="green",shape="box"];34480[label="Succ wv3100",fontsize=16,color="green",shape="box"];34481[label="Zero",fontsize=16,color="green",shape="box"];34482[label="Succ wv19230",fontsize=16,color="green",shape="box"];34483 -> 33885[label="",style="dashed", color="red", weight=0];
34483[label="primMulNat wv4100 (Succ wv19230)",fontsize=16,color="magenta"];34483 -> 34509[label="",style="dashed", color="magenta", weight=3];
34483 -> 34510[label="",style="dashed", color="magenta", weight=3];
34484[label="Zero",fontsize=16,color="green",shape="box"];34485[label="Zero",fontsize=16,color="green",shape="box"];34486[label="Zero",fontsize=16,color="green",shape="box"];34521 -> 34503[label="",style="dashed", color="red", weight=0];
34521[label="not (primCmpNat wv191200 wv194700 == GT)",fontsize=16,color="magenta"];34521 -> 34525[label="",style="dashed", color="magenta", weight=3];
34521 -> 34526[label="",style="dashed", color="magenta", weight=3];
34522 -> 34200[label="",style="dashed", color="red", weight=0];
34522[label="not (GT == GT)",fontsize=16,color="magenta"];34523 -> 34217[label="",style="dashed", color="red", weight=0];
34523[label="not (LT == GT)",fontsize=16,color="magenta"];34524 -> 34395[label="",style="dashed", color="red", weight=0];
34524[label="not (EQ == GT)",fontsize=16,color="magenta"];34507[label="wv19230",fontsize=16,color="green",shape="box"];34508[label="wv4100",fontsize=16,color="green",shape="box"];34509[label="wv19230",fontsize=16,color="green",shape="box"];34510[label="wv4100",fontsize=16,color="green",shape="box"];34525[label="wv191200",fontsize=16,color="green",shape="box"];34526[label="wv194700",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_not(Succ(wv191200), Succ(wv194700)) → new_not(wv191200, wv194700)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_not(Succ(wv191200), Succ(wv194700)) → new_not(wv191200, wv194700)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(wv191800), Succ(wv189400)) → new_primPlusNat(wv191800, wv189400)

From the DPs we obtained the following set of size-change graphs:

new_primPlusNat(Succ(wv191800), Succ(wv189400)) → new_primPlusNat(wv191800, wv189400)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(wv3000), wv18940) → new_primMulNat(wv3000, wv18940)

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(wv3000), wv18940) → new_primMulNat(wv3000, wv18940)
The graph contains the following edges 1 > 1, 2 >= 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_not0(wv300, Succ(wv18950), Succ(wv4000), wv31, wv41) → new_not0(wv300, wv18950, wv4000, wv31, wv41)

From the DPs we obtained the following set of size-change graphs:

new_not0(wv300, Succ(wv18950), Succ(wv4000), wv31, wv41) → new_not0(wv300, wv18950, wv4000, wv31, wv41)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_not1(wv300, Succ(wv18940), Succ(wv4000), wv31, wv41) → new_not1(wv300, wv18940, wv4000, wv31, wv41)

From the DPs we obtained the following set of size-change graphs:

new_not1(wv300, Succ(wv18940), Succ(wv4000), wv31, wv41) → new_not1(wv300, wv18940, wv4000, wv31, wv41)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ MNOCProof

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_takeWhile1(wv1699, wv1842, wv1841, wv1844, wv1843) → new_takeWhile1(wv1699, new_ps(wv1844), new_sr(wv1843), new_ps(wv1844), new_sr(wv1843))

The TRS R consists of the following rules:

new_primPlusNat0(Zero, Zero) → Zero
new_primPlusNat1(Succ(wv19180), wv18940) → Succ(Succ(new_primPlusNat0(wv19180, wv18940)))
new_ps(Neg(Zero)) → Pos(Succ(Zero))
new_ps(Pos(wv18440)) → Pos(new_primPlusNat2(wv18440))
new_primMulNat0(Succ(wv3000), wv18940) → new_primPlusNat1(new_primMulNat0(wv3000, wv18940), wv18940)
new_primPlusNat1(Zero, wv18940) → Succ(wv18940)
new_ps(Neg(Succ(Zero))) → Pos(Zero)
new_primMulNat1(Zero) → Zero
new_primMulNat0(Zero, wv18940) → Zero
new_ps(Neg(Succ(Succ(wv1844000)))) → Neg(Succ(wv1844000))
new_primMulNat1(Succ(wv184300)) → new_primPlusNat1(new_primMulNat0(wv184300, Zero), Zero)
new_primPlusNat0(Zero, Succ(wv189400)) → Succ(wv189400)
new_primPlusNat0(Succ(wv191800), Zero) → Succ(wv191800)
new_sr(Neg(wv18430)) → Neg(new_primMulNat1(wv18430))
new_primPlusNat0(Succ(wv191800), Succ(wv189400)) → Succ(Succ(new_primPlusNat0(wv191800, wv189400)))
new_sr(Pos(wv18430)) → Pos(new_primMulNat1(wv18430))
new_primPlusNat2(wv18440) → new_primPlusNat1(wv18440, Zero)

The set Q consists of the following terms:

new_ps(Neg(Succ(Zero)))
new_sr(Neg(x0))
new_ps(Neg(Succ(Succ(x0))))
new_ps(Pos(x0))
new_primPlusNat1(Zero, x0)
new_primMulNat0(Succ(x0), x1)
new_primPlusNat0(Succ(x0), Zero)
new_primMulNat1(Succ(x0))
new_sr(Pos(x0))
new_primMulNat0(Zero, x0)
new_primPlusNat0(Zero, Zero)
new_primPlusNat0(Succ(x0), Succ(x1))
new_primPlusNat1(Succ(x0), x1)
new_ps(Neg(Zero))
new_primPlusNat2(x0)
new_primMulNat1(Zero)
new_primPlusNat0(Zero, Succ(x0))

We have to consider all minimal (P,Q,R)-chains.
We use the modular non-overlap check [17] to decrease Q to the empty set.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ MNOCProof

                      ↳ QDP

                        ↳ NonTerminationProof

              ↳ Narrow

Q DP problem:
The TRS P consists of the following rules:

new_takeWhile1(wv1699, wv1842, wv1841, wv1844, wv1843) → new_takeWhile1(wv1699, new_ps(wv1844), new_sr(wv1843), new_ps(wv1844), new_sr(wv1843))

The TRS R consists of the following rules:

new_primPlusNat0(Zero, Zero) → Zero
new_primPlusNat1(Succ(wv19180), wv18940) → Succ(Succ(new_primPlusNat0(wv19180, wv18940)))
new_ps(Neg(Zero)) → Pos(Succ(Zero))
new_ps(Pos(wv18440)) → Pos(new_primPlusNat2(wv18440))
new_primMulNat0(Succ(wv3000), wv18940) → new_primPlusNat1(new_primMulNat0(wv3000, wv18940), wv18940)
new_primPlusNat1(Zero, wv18940) → Succ(wv18940)
new_ps(Neg(Succ(Zero))) → Pos(Zero)
new_primMulNat1(Zero) → Zero
new_primMulNat0(Zero, wv18940) → Zero
new_ps(Neg(Succ(Succ(wv1844000)))) → Neg(Succ(wv1844000))
new_primMulNat1(Succ(wv184300)) → new_primPlusNat1(new_primMulNat0(wv184300, Zero), Zero)
new_primPlusNat0(Zero, Succ(wv189400)) → Succ(wv189400)
new_primPlusNat0(Succ(wv191800), Zero) → Succ(wv191800)
new_sr(Neg(wv18430)) → Neg(new_primMulNat1(wv18430))
new_primPlusNat0(Succ(wv191800), Succ(wv189400)) → Succ(Succ(new_primPlusNat0(wv191800, wv189400)))
new_sr(Pos(wv18430)) → Pos(new_primMulNat1(wv18430))
new_primPlusNat2(wv18440) → new_primPlusNat1(wv18440, Zero)

Q is empty.
We have to consider all (P,Q,R)-chains.
We used the non-termination processor [17] to show that the DP problem is infinite.
Found a loop by semiunifying a rule from P directly.

The TRS P consists of the following rules:

new_takeWhile1(wv1699, wv1842, wv1841, wv1844, wv1843) → new_takeWhile1(wv1699, new_ps(wv1844), new_sr(wv1843), new_ps(wv1844), new_sr(wv1843))

The TRS R consists of the following rules:

new_primPlusNat0(Zero, Zero) → Zero
new_primPlusNat1(Succ(wv19180), wv18940) → Succ(Succ(new_primPlusNat0(wv19180, wv18940)))
new_ps(Neg(Zero)) → Pos(Succ(Zero))
new_ps(Pos(wv18440)) → Pos(new_primPlusNat2(wv18440))
new_primMulNat0(Succ(wv3000), wv18940) → new_primPlusNat1(new_primMulNat0(wv3000, wv18940), wv18940)
new_primPlusNat1(Zero, wv18940) → Succ(wv18940)
new_ps(Neg(Succ(Zero))) → Pos(Zero)
new_primMulNat1(Zero) → Zero
new_primMulNat0(Zero, wv18940) → Zero
new_ps(Neg(Succ(Succ(wv1844000)))) → Neg(Succ(wv1844000))
new_primMulNat1(Succ(wv184300)) → new_primPlusNat1(new_primMulNat0(wv184300, Zero), Zero)
new_primPlusNat0(Zero, Succ(wv189400)) → Succ(wv189400)
new_primPlusNat0(Succ(wv191800), Zero) → Succ(wv191800)
new_sr(Neg(wv18430)) → Neg(new_primMulNat1(wv18430))
new_primPlusNat0(Succ(wv191800), Succ(wv189400)) → Succ(Succ(new_primPlusNat0(wv191800, wv189400)))
new_sr(Pos(wv18430)) → Pos(new_primMulNat1(wv18430))
new_primPlusNat2(wv18440) → new_primPlusNat1(wv18440, Zero)

s = new_takeWhile1(wv1699, wv1842, wv1841, wv1844, wv1843) evaluates to t =new_takeWhile1(wv1699, new_ps(wv1844), new_sr(wv1843), new_ps(wv1844), new_sr(wv1843))

Thus s starts an infinite chain as s semiunifies with t with the following substitutions:

Matcher: [wv1841 / new_sr(wv1843), wv1843 / new_sr(wv1843), wv1842 / new_ps(wv1844), wv1844 / new_ps(wv1844)]
Semiunifier: [ ]

Rewriting sequence

The DP semiunifies directly so there is only one rewrite step from new_takeWhile1(wv1699, wv1842, wv1841, wv1844, wv1843) to new_takeWhile1(wv1699, new_ps(wv1844), new_sr(wv1843), new_ps(wv1844), new_sr(wv1843)).

Haskell To QDPs

takeWhile	p []	= takeWhile3 p []
takeWhile	p (x : xs)	= takeWhile2 p (x : xs)

takeWhile1	p x xs True	= x : takeWhile p xs
takeWhile1	p x xs False	= takeWhile0 p x xs otherwise